wiki:Tools/Z3

Z3

A theorem prover from Microsoft Research. Used by LLVM/Clang

Installing

git clone --depth=1 --recourse-submodules --shallow-submodules git://github.com/Z3Prover/z3
cd z3
mkdir build
cd build
cmake \
      -DCMAKE_BUILD_TYPE=Release \
      -DBUILD_LIBZ3_SHARED=ON \
      -DBUILD_PYTHON_BINDINGS=ON \
      -DUSE_OPENMP=ON \
      -DLINK_TIME_OPTIMIZATION=ON \
      ..
make -s all
sudo make -s install
Last modified 16 months ago Last modified on Aug 9, 2019, 11:24:43 AM
Note: See TracWiki for help on using the wiki.