再次：在Windows上安装Z3 Python

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了再次：在Windows上安装Z3 Python，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含1170字，纯文字阅读大概需要2分钟。

内容图文

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也应该看到它.

内容总结

以上是互联网集市为您收集整理的再次：在Windows上安装Z3 Python全部内容，希望文章能够帮你解决再次：在Windows上安装Z3 Python所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。

内容手机端