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

美滋滋