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后，~~

python scripts/mk_make.py

~~没有用————回头想想，好像需要VS的命令行——难道我从一开始就走错方向了？~~

9、哎呦，怕是搞错了，不是用CMD配置的………………哎呦，难受.

10、那…………那我想办法再去安装Visual Studio——最新的是2017版https://www.visualstudio.com/zh-hans/

11、全自动智能安装，很舒服——有点大——等一等明天应该就安好了。

那今天就这样吧。

12、安好了，继续没完成的工作。Vstudio自动集成了命令提示符功能。——输入官网给出的命令

python scripts/mk_make.py -x

\\提示找不到文件路径。

那就是需要复制全部文件路径，也就是

python F:\z3-master\z3-master\scripts/mk_make.py -x

这次成功出了信息，但是有Traceback消息——换句话说就是python版本可能出了问题。我还是需要python3很可能。

13、VS17安装的时候需要选择python环境，它会自动帮你安装较新版本的python3。目前我想到的办法首先是删除在前面自己安装的python2（磨蹭了那么几天，努力全白费了）。然后重新配置自动安装的python3环境——这里必须手动在系统Path中添加路径。D:\Program Files (x86)\Microsoft Visual Studio\Shared\Python36_64 \\这个是在我电脑中的路径

14、再次尝试安装配置Z3——还是跳出Trackback消息——这次推测问题是python常用包安装不完全

https://www.cnblogs.com/wangzhehong1981/p/5617186.html

引用这位大神的办法安装常用包。——可能会出现需要更新pip的问题。命令行会给出更新命令

python -m pip install --upgrade pip \\更新后继续安装包

安装了常用的numpy , pandas 依旧出现同样的错误。

重点来啦！

15、打开VS自带的命令行程序，首先需要转到Z3所在文件夹，很重要，否则会像上面一样频繁出错。

具体操作——①输入盘符F： ②cd F:\z3-master\z3-master(这里是自己的路径)

③输入python scripts/mk_make.py -x

④等一会后，命令行会提示输入F:\z3-master\z3-master\build && nmake已建立Z3PY

⑤注意！！！这里需要输入cd build

nmake（具体方法，我是用txt复制到命令行中的，保证了分行且同时输入）——不知道为什么，这里的输入格式非常重要，我分开输入的时候都会报错，按理来说是没有区别的。

⑥等上好一会，会提示Z3 was successfully built.到这里为止就算是大成功了。

16、把Z3 build 文件夹路径加入系统环境变量中，就可以在命令行中使用Z3了。当然，根据不同的语言你可以使用不同的编码环境，这个不影响。在Z3的examples中有不同语言的使用例子。

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

mesos 学习笔记-- mesos安装和配置
2019独角兽企业重金招聘Python工程师标准>>> mesos 学习笔记-- mesos安装和配置博客分类: 架构 mesos 参考资料: 官方文档:http://mesos. ...
ESP32_WIFI Mesh学习笔记1---Ardino IDE 环境配置
ESP_WIFI MESH学习笔记1-Ardino IDE 环境配置文章目录 ESP_WIFI MESH学习笔记1---Ardino IDE 环境配置前言一.Arduino IDE配置问题二. ...
ZED相机学习笔记1——安装与配置（Win10 + Python）
系列文章目录 ZED相机学习笔记1--安装与配置(Win10 + Python) 文章目录系列文章目录前言一.ZED2 相机二.配置ZED相机环境 1.安装CUDA 2.安装ZED-SDK 3 ...
vim学习笔记一（环境配置及编译文件）
今天开始在linux进行编程学习,首先是环境的配置.使用的ubuntu系统自带的vim.但是在使用前要先对vim进行配置,使其更友好. 配置方法是对vimrc进行修改,分享下我的vimrc,(下载地址 ...
【MindStudio训练营第一期】【昇腾AI训练营新手班学习笔记】开发环境配置
准备购买云服务器,安装提供的镜像华为云:https://www.huaweicloud.com 下载MindStudio(windows),安装 MindStuidio下载页: https://w ...
MIT JOS学习笔记01：环境配置、Boot Loader（2016.10.22）
未经许可谢绝以任何形式对本文内容进行转载! 一.环境配置关于MIT课程中使用的JOS的配置教程网上已经有很多了,在这里就不做介绍,个人使用的是Ubuntu 16.04 + qemu.另注,本文章中贴 ...
学习笔记-python数据分析-环境配置
系统win10 64位 miix5 512G 由于装双系统比较复杂,且miix在网上还没有发现成功的案例(本身就小众,即便ubuntu是通用的系统,也会存在驱动的问题) 1.安装最新版python3. ...
MongoDB学习笔记——数据库安装及配置
MongoDB数据库安装 MongoDB官方下载地址:https://www.mongodb.com/download-center 首先需要根据Windows版本选择正确的MongoDB版本进行安装 ...
(Object-C)学习笔记(一)--开发环境配置和与c语言的区别
博主是大三快要实习的学生,作为软件技术专业的我认真的考虑了一下出路,认为去干起点低低java不如花点钱选择iOS.正好我也对iOS很感兴趣,虽然我赶不上08年之后的那一段互联网热潮,但是这一段时间互联 ...

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

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

最新文章

热门文章