Z3Prover/z3

would prefer to use Clang change the mk_make.py invocation to:Note that Clang < 3.7 does not support OpenMP.You can also build Z3 for Windows using Cygwin and the Mingw-w64 cross-compiler. some Windows installation of Python.For a 64 bit build (from Cygwin64), configure Z3's sources withA 32 bit build should work similarly (but is untested); the same is true for 32/64 bit builds from within Cygwin32.By default, it will install z3 executable at PREFIX/bin, libraries at file for details.Z3 has bindings for various programming languages.Use the --dotnet command line flag with mk_make.py to enable building these.On non-windows platforms mono is required. make uninstall will remove the dll from the GAC and the pkg-config file.See examples/dotnet for examples.These are always enabled.See examples/c for examples.These are always enabled.See examples/c++ for examples.Use the --java command line flag with mk_make.py to enable building these.See examples/java for examples.Use the --ml command line flag with mk_make.py to enable building these.See examples/ml for examples.Use the --python command line flag with mk_make.py to enable building these.Note that is required on certain platforms that the Python package directory