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命令检查是否配置成功）：