windows下z3安装

从 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版本的不支持，就不演示了。