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