安装Z3和x2B；Windows上的Python

我很难让Z3 Python前端在Windows7上使用codeplex的Z3版本4.3.0。作为MSI文件分发的旧版本4.1.2在我的Windows 7上运行良好

首先，我不能使用codeplex中的源代码来构建Z3，因为我没有Visual studio命令提示符（我真的需要它吗？）。因此，我下载了二进制文件32位版本，并将该目录添加到我的PYTHONPATH中。这允许我执行

import z3

，但由于出现错误

Z3Exception:“在使用z3 python之前必须调用init（z3\u LIBRARY\u PATH）”

，我无法进一步使用它。下载文件中不包括文件

z3.dll

---

我在Mac或Linux上设置Z3 v4.3没有问题

Visual Studio Express应该足以编译Z3，并且可以从Microsoft免费获得。然而，并不要求从零开始编译Z3以使用Z3Py

---

从版本4.3.0开始，DLL现在被称为libz3.DLL，我刚刚验证了它确实包含在从Codeplex下载的内容中，当我将它添加到PYTHONPATH时，它可以正常执行。我可以想象，在您的案例中，出现的问题是您将目录C:…\z3-4.3.0-x86添加到PYTHONPATH，而有必要添加C:…\z3-4.3.0-x86\bin（最后请注意\bin）。

嗨，克里斯，实际上我添加了\bin目录（这就是为什么我能够很好地导入z3）。我还尝试了z3.init（“libz3.dll”），但我认为出现了一些错误。我现在无法访问Win机器，但我可以在明天发布错误。当您使用z3.init（“libz3.dll”）时，它对您有用吗？太好了！谢谢你提供的信息。还有一件事我忘了提：这取决于安装了什么版本的Python；我相信x64版本还需要使用x64 DLL。Christoph是正确的。如果我们有Pythonx64，那么我们必须使用x64Z3DLL。请注意，如果我们有一台64位机器，但我们使用的是32位Python（非常常见的场景），那么我们必须使用32位Z3DLL。