Windows下安装Z3的Python3版

GitHub官方仓库地址：Z3Prover/z3: The Z3 Theorem Prover

pip 安装（不推荐，很慢）

z3的pip仓库网址：z3-solver · PyPI
先尝试使用pip安装：

pip install z3-solver

报错如下：


(base) C:\Users\peter>pip install z3-solver
Collecting z3-solverDownloading https://files.pythonhosted.org/packages/83/7e/9e3b84ed773945cfa3c00e64c3ef49c492bf4b6f60cf6223b8756053e7f4/z3-solver-4.8.0.0.post1.tar.gz (4.1MB)100% |████████████████████████████████| 4.1MB 2.8MB/s
Building wheels for collected packages: z3-solverRunning setup.py bdist_wheel for z3-solver ... errorComplete output from command C:\Users\peter\AppData\Local\Continuum\anaconda3\python.exe -u -c "import setuptools, tokenize;__file__='C:\\Users\\peter\\AppData\\Local\\Temp\\pip-install-rowyaqt4\\z3-solver\\setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d C:\Users\peter\AppData\Local\Temp\pip-wheel-p4zt1rre --python-tag cp37:running bdist_wheelrunning buildConfiguring Z3opt = -x, arg =New component: 'util'New component: 'polynomial'...Component api_dll...Generated 'src\api\python\z3\z3core.py'...Listing 'src\\api\\python\\z3'...Compiling 'src\\api\\python\\z3\\z3consts.py'...Compiling 'src\\api\\python\\z3\\z3core.py'...Generated python bytecodeCopied 'z3consts.py'Copied 'z3core.py'Copied 'z3consts.cpython-37.pyc'Copied 'z3core.cpython-37.pyc'Testing OpenMP...64-bit:         TrueOpenMP:         FalseWriting build\MakefileCopied Z3Py example 'all_interval_series.py' to 'build\python'Copied Z3Py example 'example.py' to 'build\python'Copied Z3Py example 'parallel.py' to 'build\python'Copied Z3Py example 'socrates.py' to 'build\python'Copied Z3Py example 'visitor.py' to 'build\python'Makefile was successfully generated.compilation mode: Releaseplatform: x64To build Z3, open a [Visual Studio x64 Command Prompt], thentype 'cd C:\Users\peter\AppData\Local\Temp\pip-install-rowyaqt4\z3-solver\core\build && nmake'Remark: to open a Visual Studio Command Prompt, go to: "Start > All Programs > Visual Studio > Visual Studio Tools"Building Z3error: [WinError 2] 系统找不到指定的文件。----------------------------------------Failed building wheel for z3-solverRunning setup.py clean for z3-solver
Failed to build z3-solver
Installing collected packages: z3-solverRunning setup.py install for z3-solver ... errorComplete output from command C:\Users\peter\AppData\Local\Continuum\anaconda3\python.exe -u -c "import setuptools, tokenize;__file__='C:\\Users\\peter\\AppData\\Local\\Temp\\pip-install-rowyaqt4\\z3-solver\\setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" install --record C:\Users\peter\AppData\Local\Temp\pip-record-4321_vci\install-record.txt --single-version-externally-managed --compile:running installrunning buildConfiguring Z3Building Z3error: [WinError 2] 系统找不到指定的文件。----------------------------------------
Command "C:\Users\peter\AppData\Local\Continuum\anaconda3\python.exe -u -c "import setuptools, tokenize;__file__='C:\\Users\\peter\\AppData\\Local\\Temp\\pip-install-rowyaqt4\\z3-solver\\setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" install --record C:\Users\peter\AppData\Local\Temp\pip-record-4321_vci\install-record.txt --single-version-externally-managed --compile" failed with error code 1 in C:\Users\peter\AppData\Local\Temp\pip-install-rowyaqt4\z3-solver\

报错中提示需要使用Visual Studio x64 Command Prompt，所以我们打开Visual Studio x64 Command Prompt进行安装：

输入命令：

python -m pip install z3-solver

然后VS就开始编译DLL文件了，因为是单线程编译，所以需要等待一段时间,编译完就可以使用了。

使用微软官方构建好的DLL（推荐，快速）

找到Z3的最新的release:Releases · Z3Prover/z3
目前的最新版是Z3-4.8.4。
下载win-x64.zip，然后解压。
注意：更换目录为你的目录

添加Z3\bin的路径到PATH
设置PYTHONPATH=Z3\bin\python

测试代码：

from z3 import *
x = Real('x')
y = Real('y')
s = Solver()
s.add(x + y > 5, x > 1, y > 1)
print(s.check())
print(s.model())

运行成功：

Windows下安装Z3的Python3版相关推荐

Windows下安装python2和python3多版本教程转
Windows下安装python2和python3多版本教程转作者:云游道士字体:[增加减小] 类型:转载时间:2017-03-30 我要评论这篇文章主要介绍下Windows(我用的W ...
RPM方式安装MySQL5.6和windows下安装mysql解压版
下载地址: http://cdn.MySQL.com/archives/mysql-5.6/MySQL-server-5.6.13-1.el6.x86_64.rpm http://cdn.mysql. ...
Windows下安装python2与python3以及分别对应的virtualenv
第三次装python2与python3 除此之外还学会了如何在命令行复制代码 1.单击右键 2.菜单中选择标记 3.按住左键选中需要复制的内容 4.松开左键 5.单击右键全局中python版本为py ...
windows下安装mysql8.0压缩版
下面总结下安装过程: 首先解压下载好的压缩版本. 将解压后mysql的bin文件目录配置系统环境path变量中使用cmd打开命令窗口,输入mysqld --initialize命令初始化 ...
Windows下安装python2和python3双版本
转载自:http://www.cnblogs.com/yyds/p/6080826.html 现在大家常用的桌面操作系统有:Windows.Mac OS.ubuntu,其中Mac OS 和 ubunt ...
windows下安装TensorFlow（CPU版）
建议先到anaconda官网下载最新windows版的anaconda3.6,然后按步骤进行安装.(这里我就不贴图了,自己下吧) 1.准备安装包 http://www.lfd.uci.edu/~goh ...
Windows下安装PyQt（python3.8+PyQt5）
下载python. 安装python,选中Add Python3.8 to PATH,可无需重复设置环境变量. 打开cmd,输入python,回车检查python安装是否成功. python安装完成后 ...
mysql5.7.25安装包,Mysql5.7.25在windows下安装
在网上看到了很多安装方法,也试了很多,md,网上资源多了也是有各种坑,这里只说在windows下安装mysql5.7.25 一.下载安装包下载后解压到自己想要安装的目录,我的是:D:\MYSQL\ ...
python解释器下安装z3_再次：在Windows上安装Z3 Python
earlier question中指出的安装问题仍然存在. 我曾尝试在Windows XP SP3 32位和Windows 7 64位下安装Z3 4.3.0和4.1.这些组合都不起作用!我可以执行&q ...

Windows下安装Z3的Python3版

文章目录

Windows下安装Z3的Python3版

pip 安装（不推荐，很慢）

使用微软官方构建好的DLL（推荐，快速）

Windows下安装Z3的Python3版相关推荐

最新文章

热门文章