Z3是来自微软研究院的的一个定理验证工具。
使用VisualStudio命令提示符在Widows上构建Z332位版本pythoscripts/mk_make.py或者，对于64位版本：pythoscripts/mk_make.py-x然后：cdbuildmake
点击空白处退出提示
Z3 定理验证工具开源项目
我要开发同款
2015年03月27日技术信息
开源地址
https://github.com/Z3Prover/z3授权协议
MIT
作品详情
功能介绍
Z3 是来自微软研究院的的一个定理验证工具。 使用Visual Studio命令提示符在Windows上构建Z3 32位版本
python scripts/mk_make.py 或者，对于6...
声明：本文仅代表作者观点，不代表本站立场。如果侵犯到您的合法权益，请联系我们删除侵权资源！如果遇到资源链接失效，请您通过评论或工单的方式通知管理员。未经允许，不得转载，本站所有资源文章禁止商业使用运营!
评论