Z3 Z3是Microsoft Research的一个定理证明者。它是根据获得。 如果您不熟悉Z3,则可以从开始。 Z3可以使用 , 或构建。它提供。 有关Z3的各种稳定版本的,请参阅。 建置状态 Windows x64 Windows x86 Windows x64 Ubuntu x64 Debian x64 OSX TravisCI 使用Visual Studio命令提示符在Windows上构建Z3 32位版本,开始于: python scripts/mk_make.py 或者,对于64位版本: python scripts/mk_make.py -x 然后: cd build nmake 使用make和GCC / Clang构建Z3 执行: python scripts/mk_make.py cd build make sudo make install 请