一、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，就结束了
结束
