wiki:Tools/Z3

Version 2 (modified by schiptsov, 2 years ago) ( diff )

--

Z3

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

git clone --depth=1 --recourse-submodules --shallow-submodules git://github.com/Z3Prover/z3
cd z3
mkdir build
cd build
cmake \
      -DUSE_OPENMP:BOOL=ON \
      -DLINK_TIME_OPTIMIZATION:BOOL=ON \
      ..
make -s all
sudo make -s install
Note: See TracWiki for help on using the wiki.