作者:Amyjionydp | 来源:互联网 | 2023-09-09 14:39
从github上cloneZ3gitclonehttps:github.comZ3Proverz3.git命令行中进入Z3文件夹,执行命令:pythonscriptsmk_make
从 github 上 clone Z3
git clone https://github.com/Z3Prover/z3.git
命令行中进入 Z3 文件夹,执行命令:
python scripts/mk_make.py -x --python
cd build
nmake
在执行python scripts/mk_make.py -x --python后遇到各种坑
首先
Wt,你给我看这个
然后就是突发奇想
然后
Wt,有毒吧,然后就是在对应报错处做以下更改
再然后就是惊喜了
幸福
但是
Wt,你玩我
然后参考https://blog.csdn.net/u012814856/article/details/78530596
http://www.tiger2doudou.com/blog/post/metorm/CMake%E7%94%9F%E6%88%90Visual-Studio-Nmake%E6%96%87%E4%BB%B6%E6%97%B6%E6%8A%A5%E9%94%99%E9%97%AE%E9%A2%98%E5%88%86%E6%9E%90
然后
再进行文件拷贝即可
具体参考https://blog.headw1nd.com/2017/12/18/Windosw%E7%8E%AF%E5%A2%83%E4%B8%8B%E5%AE%89%E8%A3%85Z3%E7%BA%A6%E6%9D%9F%E6%B1%82%E8%A7%A3%E5%99%A8%E5%B9%B6%E4%BD%BF%E7%94%A8Python-Binding/
我用的是py3版本的不支持,就不演示了。
windows下z3安装