一个绍、Window下安裝Z3
常見的一種方式就是pip 安裝，比較慢勺像，所以比較推薦用微軟官方已經(jīng)構(gòu)建好的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]
當(dāng)然，python2也可以用z3殃姓，只是這里的example.py是python3寫的
二袁波、Linux下安裝Z3
先看看命令
git clone https://github.com/angr/z3.git
cd z3
##注意--prefix、--pypkgdir兩個參數(shù)蜗侈，可不要
python scripts/mk_make.py --prefix=想安裝到的目錄 --python --pypkgdir=你的python地址
cd build
make
sudo make install
如果怕安裝路徑搞錯的話篷牌，就別私人定制--prefix、--pypkgdir兩個參數(shù)了踏幻，用默認路徑其實也很好（安裝的時候能看到）
默認路徑
也就是
python scripts/mk_make.py --python
私人定制的話枷颊，就得注意：python的地址必須在z3的安裝目錄下,得查看一下自己的python的安裝地址
沒配好路徑
python地址查詢：
#詳細點
whereis python
#簡單點
which python
這一步結(jié)束，成功的話该面，會有
python后
然后cd build;make夭苗，成功后也有提示
make后
如果這一步安裝失敗，則說明make 或 GCC/Clang沒安裝好隔缀，需重新配備题造。
最后輸完sudo make install，就結(jié)束了
結(jié)束
