文件名称：z3：Z3定理证明
文件大小：5.62MB
文件格式：ZIP
更新时间：2024-02-29 05:36:02
C++
Z3 Z3是Microsoft Research的一个定理证明者。 它是根据获得。 如果您不熟悉Z3，则可以从开始。 可从获得用于稳定和夜间发布的预构建二进制文件。 Z3可以使用 ， 或构建。 它提供。 有关Z3的各种稳定版本的，请参阅。 建造状态 Azure管道 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 请注意，默认情况下， g++可用作C ++编译器（如果可