Please disable your adblock and script blockers to view this page

Z3Prover/z3


GitHub
GitHub Desktop
Visual Studio
Microsoft Research
MIT

Cygwin
z3
/usr
macOS
CSC
GAC
Z3.Sharp
(Microsoft
WebAssembly


Z3
Z3.dll
Python
Clément Pit-Claudel


Cygwin64


Mono


Mingw
mk_make.py
z3


Linux

No matching tags

Positivity     36.00%   
   Negativity   64.00%
The New York Times
SOURCE: https://github.com/Z3Prover/z3
Write a review: Hacker News
Summary

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

As said here by Z3Prover