Windows XP不支持Z3要求的DLL中的线程本地存储。我们目前正在为此进行修复，但是无论如何，这意味着即使已修复，您也必须编译自己的DLL。
在Windows 7上，它应该是开箱即用的。但是，您需要确保针对64位编译所有内容或不编译任何内容。如果您使用的是32位python版本，它将无法加载64位DLL，反之亦然。在Python.org上有两个下载，其中一个标记为X86-64，它是64位版本。
最后，需要将libz3.dll和* .pyc / py所在的目录添加到PYTHONPATH。您可以在系统范围内进行设置（“控制面板”，“系统”，“高级系统设置”，“高级”，“环境变量”），然后IDLE也会看到它。
602392714
清零编程群