Z3 SMTsolver 学习笔记（一） ——安装，环境配置篇

https://github.com/Z3Prover/z3

源文件从这里可以下载。然后看看readMe文件。

Windows7下使用Visual Studio 命令符建立Z3

着急的兄弟可以直接跳到第15步，前面都是日记似的笔记。

发现需要用到Python指令，那就先去安Python

本来想安装最新的3.6.5————结果电脑win7有点傻屌，安装出现问题。

1、先是需要Pack 1——网上有教程，开了自动更新——更新浪费了两天时间快。

2、更新出各种问题。没办法用360修复系统漏洞，更新组件。

3、更完还是有失败的，挨个更新包在Windows官网上下载安装。

4、全搞完了安装Python——开始提示未知错误码

5、没办法再找办法解决（气得一批）——https://blog.csdn.net/belong0204/article/details/61615500

    用这篇文章作者的办法试了试，还是不行——依旧提示未知错误码。

6、放弃使用新版安装程序，退而求其次安装2.7.15。——很顺利（新的东西实在不一定是好东西）

7、Python搞定，下一步继续配Z3

8、下载了z3-master后，