Windows、Linux下的Z3安装(详细)

一、Window下安装Z3

常见的一种方式就是pip 安装，比较慢，所以比较推荐用微软官方已经构建好的Z3，亲测好用)
下载x64-win版：https://github.com/Z3Prover/z3/releases
解压到你想要的位置
然后配PATH
（1）编辑path，添加z3\bin的路径
（2）新建pythonpath，值为z3\bin\python的路径
测试：
z3\bin\python下又一个example.py文件，可以用来试验

python3 example.py

运行成功,则显示

sat
[y = 4, x = 3/2]

当然，python2也可以用z3，只是这里的example.py是python3写的

二、Linux下安装Z3

先看看命令

git clone https://github.com/angr/z3.git
cd z3
##注意--prefix、--pypkgdir两个参数，可不要
python scripts/mk_make.py --prefix=想安装到的目录 --python --pypkgdir=你的python地址
cd build
make
sudo make install

如果怕安装路径搞错的话，就别私人定制--prefix、--pypkgdir两个参数了，用默认路径其实也很好（安装的时候能看到）

默认路径

也就是

python scripts/mk_make.py  --python 

私人定制的话，就得注意：python的地址必须在z3的安装目录下,得查看一下自己的python的安装地址

没配好路径

python地址查询：

#详细点
whereis python
#简单点
which python

这一步结束，成功的话，会有

python后

然后cd build;make，成功后也有提示

make后
如果这一步安装失败，则说明make 或 GCC/Clang没安装好，需重新配备。
最后输完sudo make install，就结束了
结束

参考资料：
Z3 API IN PYTHON 中文文档 （官方文档翻译）
Windows下安装Z3的Python3版