z3 - 在 Windows 上安装 Z3 + Python

Question

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

首先，我不能使用来自 codeplex 的源代码来构建 Z3，因为我没有 Visual Studio 命令提示符（我真的需要它吗？）。所以我下载了 32 位版本的二进制文件并将该目录添加到我的 PYTHONPATH 中。这允许我这样做 import z3，但由于错误，我无法进一步使用它Z3Exception: 'init(Z3_LIBRARY_PATH) must be invoked before using Z3-python'。该文件z3.dll 不包含在下载文件中。

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

Answer 1

Visual Studio Express 应该足以编译 Z3 并且可从 Microsoft 免费获得，请点击此处。但是，使用 Z3Py 不需要从头开始编译 Z3。

从版本 4.3.0 开始，该 DLL 现在称为 libz3.dll，我刚刚验证它确实包含在 Codeplex 的下载中，并且当我将它添加到 PYTHONPATH 时它执行良好。我可以想象你的情况出了什么问题是你将目录 C:...\z3-4.3.0-x86 添加到 PYTHONPATH 中，而 C:...\z3-4.3.0-x86 是必要的\bin 被添加（注意最后的 \bin）。