z3学习篇（一）——— 如何在win10上安装配置z3求解器

在写这篇文章之前，我已经看过很多优秀博主发的关于z3的文章了，那么今天我就在自己电脑上安装一次，配合着各个过程的截图以及命令来讲一下如何在（win10）上装这款方便的求解器—z3。下面来详细介绍一下怎么安装和配置（我这里用的是VS2017专业版）：

1、在 https://github.com/Z3Prover/z3上下载z3-master，如下图：

2、在https://www.visualstudio.com/zh-hans/ 上下载VS2017，选择下图中的大绿色对勾的选项下载（安装要等好久）：

3、接下来需要用到python环境，在这里，我下载的是python3版本（当然，如果你在安装VS2017的时候选择了python环境，它会自动帮你安装较新版本的python3），安装的时候可以在网上搜一下python安装教程，记得在安装的过程中点上”添加环境“（装完python,在cmd中输入python命令检查是否配置成功）：


4、打开VS2017开发人员命令提示符（这里我选择的是x86 x64兼容）：

5、cd打开你z3-master所在目录，输入 python scripts/mk_make.py -x，如果提示有错误，那就是需要复制全部文件路径（这里我的mk_make.py在D:\z3-master\scripts里）：

6、正常情况下，此时会出现包含"build && nmake"的语句，然后输入 cd build，再输入 namke，之后静静的盯着屏幕等一段时间，直到最后屏幕上出现 Z3 was successfully built 就说明你的Z3已经安装成功了：