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后,