python解释器下安装z3_再次：在Windows上安装Z3 Python

earlier question中指出的安装问题仍然存在.

我曾尝试在Windows XP SP3 32位和Windows 7 64位下安装Z3 4.3.0和4.1.这些组合都不起作用！我可以执行“from z3 import *”,但是Z3 dll的init()失败了.我的Python版本是2.7.3. Z3独立和Python独立工作,但没有很多抱怨它们不能一起工作.

这将有助于获得最新的安装配方,回答以下问题：

应该使用哪个Z3下载(源版本,预编译版本)？

应该使用哪个Python版本？

在init()调用中应该引用哪个或哪些Z3 DLL？

一个例子会有所帮助(包括带有空格的路径的原始字符串用法).

应该使用哪些Z3 Python源文件(Z3的某些下载有* .py文件,其他有* .pyc文件)？编译的Python文件是否与多个Python版本兼容？

如何设置PATH和PYTHONPATH？

如何以自动提供Z3初始化的方式调用Python的IDLE shell？

对不起,如果这听起来像是一个新手问题,但……

解决方法:

Windows XP不支持Z3所需的DLL中的线程本地存储.我们目前正在努力解决这个问题,但无论如何它都意味着你必须编译自己的DLL,即使它已经修复了.

在Windows 7上,它应该开箱即用.但是,您需要确保为64位编译所有内容或全部内容.如果您使用的是32位python版本,则无法加载64位DLL,反之亦然.在Python.org有两次下载,其中一次标记为X86-64,即64位版本.

最后,需要将libz3.dll和* .pyc / py所在的目录添加到PYTHONPATH.您可以设置此系统范围(控制面板,系统,高级系统设置,高级,环境变量),然后IDLE也应该看到它.

标签：z3,python,python-2-7

来源： https://codeday.me/bug/20191007/1864518.html

python解释器下安装z3_再次：在Windows上安装Z3 Python相关推荐

windows下oracle10的日志,在Windows上安装Oracle10gR2
在Windows上安装Oracle10gR2 因为<深入浅出Oracle>一书中,多数以Linux/Unix平台为写作依据,前几天在ITPUB上遭到了读者的指责,虽然该读者的观点有所偏激, ...
windows 安装php_如何在Windows上安装PHP
windows 安装php We've previously shown you how to get a working local installation of Apache on your W ...
测试python安装成功_Python在Windows上安装配置测试
Python是跨平台的,它可以运行在Windows.Mac和各种Linux/Unix系统上.在Windows上写Python程序,放到Linux上也是能够运行的. 2.x还是3.x 目前,Python ...
linux安装python_如何在 Windows 上安装 Python | Linux 中国
安装 Python,启动 IDE,然后你就可以在 Windows 系统下进行编程了. 来源:https://linux.cn/article-12335-1.html 作者:Seth Kenlon 译 ...
pwd python 安装模块_在windows上安装pwd模块时出错
我正在尝试在windows上使用easy_install安装"pwd"模块,遇到以下错误,有人可以帮助修复此错误吗?C:\Dropbox\scripts>easy_insta ...
windows 安装metis_如何在windows上安装python中的METIS包？
这个问题是老问题,但我也遇到了同样的问题,在为..太久了...我有一个对我有用的答案.在首先,应该使用pip:pip install metis获得python metis包装器.在其次,您必须安 ...
为了在 Windows 上安装 GCC
写在源文件中的源代码是人类可读的源.它需要"编译",转为机器语言,这样 CPU 可以按给定指令执行程序.C 语言编译器用于把源代码编译成最终的可执行程序.这里假设您已经对编程语言编 ...
mongodb卸载_如何在Windows上安装MongoDB，启动，卸载
mongodb卸载 Today we will learn how to install MongoDB on Windows. Most of us use Windows for our pers ...
如何在Windows上安装Maven
Apache Maven is the most popular project management tool for Java applications. We can install maven ...
怎样安装python在桌面_在Windows上安装和配置 Jupyter Lab 作为桌面级应用程序教程...
什么是 Jupyter Lab Jupyter Lab 是 Jupyter notebook 的升级版,优点这里不作赘述. 一.安装 Jupyter Lab 如果你安装了 Anaconda,最新版的 ...

python解释器下安装z3_再次：在Windows上安装Z3 Python

python解释器下安装z3_再次：在Windows上安装Z3 Python相关推荐

最新文章

热门文章