Z3 定理验证工具

Z3 是来自微软研究院的的一个定理验证工具。

使用Visual Studio命令提示符在Windows上构建Z3

32位版本

python scripts/mk_make.py

或者,对于64位版本:

python scripts/mk_make.py -x

然后:

cd build
nmake

© 版权声明
THE END
喜欢就支持一下吧
点赞749 分享