在Windows上安装Z3 +的Python(Installing Z3 + Python on W

我有一些很难获得Z3的Python前端在Windows 7与Z3版本4.3.0从CodePlex上工作。 这是分布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速成应该足以编译Z3和可从微软免费的， 在这里 。 然而，这并不是说Z3从头编译使用Z3Py的要求。

与4.3.0版本开始，DLL现在被称为libz3.dll，我只是确认它确实包含在从Codeplex上下载的，当我把它添加到PYTHONPATH它执行罚款。 我能想象出了什么问题，你的情况是，你所添加的目录C：\ z3-4.3.0-86到PYTHONPATH，而这是必要的C：\ z3-4.3.0-86 \ BIN添加（注意在最后的\ bin）。

文章来源: Installing Z3 + Python on Windows