安装z3之路

安装z3之路开坑

前提摘要

最终z3只在vscode重新安装成功，Pycharm如果想要安装的话，也可以试试python2.7的版本进行安装，z3的安装感觉很玄学。

安装流程

### 1.下载并安装python

链接如下:

• https://www.python.org/

2.下载z3的x64-windows版本，找到windows版本并进行下载

安装在一个英文路径下面，解压缩.

3.配置环境变量

我看挺多人都是把bin文件夹的目录配置在path路径中，其实我觉得应该是放libz3.dll所在的文件夹处。

dll版本或者缺失的，去网站https://www.dllme.com/搜索对应的DLL进行下载即可。

环境变量配置:

• 此电脑=>属性=>高级系统设置=>环境变量=>系统变量=>新建PYTHONPATH

如下图所示:

点两次确定即可.

4.安装z3-solver

pip install z3-solver
pip install z3-solver -i http://pypi.tuna.tsinghua.edu.cn/simple/ --trusted-host pypi.tuna.tsinghua.edu.cn#第三方包安装有问题的，可以用该命令

别按照下面命令安装:

• pip install z3

就是因为一直z3和z3-solver不能一起安装，所以环境一直没配好

效果图

参考链接:

• https://blog.csdn.net/qq_43810711/article/details/132952997
• https://www.cnblogs.com/yinhaiping/p/13375375.html
• https://github.com/Z3Prover/z3/releases