简介
Z3 是来自微软研究院的的一个定理验证工具。使用Visual Studio命令提示符在Windows上构建Z332位版本python scripts/mk_make.py或者,对于64位版本:python scripts/mk_make.py -x然后:cd buildnmake... 更多
其它信息
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%