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

然后

再进行文件拷贝即可

将这些拷贝到python的Lib\site-packages然后测试下，可能会报这个错误，z3.z3types.Z3Exception: libz3.dll not found.

这个时候我们需要检查下z3文件夹有没有libz3.dll文件，如果没有拷贝就可以，或者用我的这份   https://pan.baidu.com/s/1wRixMPlrwyKZgrREPbVweA

美滋滋