python中的Z3代码答案

【问题标题】：Z3 code in pythonpython中的Z3代码
【发布时间】：2012-08-28 20:50:19
【问题描述】：

我已经安装了 python 和 Z3，并设置了 PYTHONPATH 为 Z3 python 目录的路径。

我通过运行这个来导入 Z3，从 z3 导入 *

但在此之后，我收到了一个持久的长错误消息，其以下列方式结束：

File "C:\Program Files\Microsoft Research\Z3-4.1\python\z3core.py", line 34, in init
    _lib = ctypes.CDLL(PATH)
  File "C:\Python27\lib\ctypes\__init__.py", line 365, in __init__
    self._handle = _dlopen(self._name, mode)
WindowsError: [Error 126] The specified module could not be found

有趣的是，在我重新安装 python 和 Z3 之前，一切正常。

【问题讨论】：

标签： python z3

【解决方案1】：

您的 PATH 环境变量应设置为在 Z3 安装中包含 bin 或 x64 目录。如果您使用的是 64 位版本的 Python，则应包含 x64 目录。

例子：

你好.py …… init 中的文件“C:\Python27\lib\ctypes__init__.py”，第 365 行 self._handle = _dlopen(self._name, mode) WindowsError: [错误 126] 找不到指定的模块

设置 PATH=%PATH%;C:\Program Files (x86)\Microsoft Research\Z3-4.1\bin

你好.py 回溯（最近一次通话最后）： …… init 中的文件“C:\Python27\lib\ctypes__init__.py”，第 365 行 self._handle = _dlopen(self._name, mode) WindowsError: [错误 193] %1 不是有效的 Win32 应用程序

设置 PATH=%PATH%;C:\Program Files (x86)\Microsoft Research\Z3-4.1\x64

你好.py 你好 Z3

【讨论】：

我确实尝试过，但没有奏效。我有一台 32 位机器，但我在那里看不到这个程序 Files(x86) 文件夹，我在 Program Files 文件夹中安装了。
在 32 位 Windows 上只有一个 Program Files 文件夹。在 64 位 Windows 上有两个，Program Files 和 Program Files (x86)。因此，在您的情况下，从 Nikolaj 的示例中删除 (x86) 应该可以解决问题。

【解决方案2】：

当我遇到这个问题时，原来是因为我没有 libz3 所依赖的 dll。通过安装Visual C++ Redistributable for Visual Studio 2015 解决。

【讨论】：

【解决方案3】：

如果你使用anaconda，使用下面的命令就可以安装z3了。

pip install z3-solver

【讨论】：