z3 solver的安裝(python環境變量的配置)

0.環境：windows10

1.下載z3：https://github.com/Z3Prover/z3 GitHub客戶端clone到本地文件夾 

2.開始菜單VS 2017文件夾，打開適用於 VS 2017 的 x64 本機工具命令提示，命令行中進入 Z3 文件夾，執行命令：

python scripts/mk_make.py -x --python
cd build
nmake

 

• 進入z3路徑：絕對路徑 cd C:\WINDOWS　相對路徑 cd .\WINDOWS
• python命令：打開anaconda prompt，執行命令，輸出第四個為python路徑，加入到我的電腦->屬性->高級->環境變量->系統變量，在系統變量里找到PATH，雙擊PATH，在結尾加上 ;C:\Python27

python
import sys
print(sys.path)

3.安裝成功提示

Z3 was successfully built.
"Z3Py scripts can already be executed in the 'build\python' directory."
"Z3Py scripts stored in arbitrary directories can be executed if the 'build\python' directory is added to the PYTHONPATH environment variable and the 'build' directory is added to the PATH environment variable.

 

4.增加PYTHONPATH：我的電腦->屬性->高級->環境變量->系統變量->新建 ，變量名PYTHONPATH，路徑：上文sys.path輸出的路徑以分號結尾，加上Z3文件夾下的build\python路徑。

5.測試

from z3 import *