标签：z3 python python-2-7

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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。