Z3 是来自微软研究院的的一个定理验证工具。
使用Visual Studio命令提示符在Windows上构建Z3
32位版本
python scripts/mk_make.py
或者，对于64位版本：
python scripts/mk_make.py -x
然后：
cd build nmake
© 版权声明
文章版权归作者所有，未经允许请勿转载。
THE END
喜欢就支持一下吧
相关推荐
评论 抢沙发
欢迎您留下宝贵的见解！
Z3 是来自微软研究院的的一个定理验证工具。
32位版本
python scripts/mk_make.py
或者，对于64位版本：
python scripts/mk_make.py -x
然后：
cd build nmake
暂无评论内容