Dotnet build of Z3 for Mac OSX and ARM64.
In repo directory:
git clone [email protected]:Z3Prover/z3.git
cd z3
git checkout tags/z3-4.8.11
CXX=clang++ CC=clang FPMATH_ENABLED=False python3 scripts/mk_make.py --dotnet --dotnet-key=./resources/z3.snk
cd build
make
dotnet build z3.csproj