wiki:Tools/Z3

Version 1 (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 \
      ..
make -s all

}}}

Note: See TracWiki for help on using the wiki.