Z3 是来自微软研究院的的一个定理验证工具。
使用Visual Studio命令提示符在Windows上构建Z3
32位版本
python scripts/mk_make.py
或者，对于64位版本：
python scripts/mk_make.py -x
然后：
cd build nmake
© 版权声明
文章版权归作者所有，未经允许请勿转载。
THE END
喜欢就支持一下吧
The course of true love never did run smooth.
真诚的爱情之路永不会是平坦的
