1

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

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

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

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 之前，一切正常。

4

3 回答 3

5

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

例子：

hello.py .... 文件“C:\Python27\lib\ctypes__init__.py”，第 365 行，在init self._handle = _dlopen(self._name, mode) WindowsError: [Error 126] The specified module could not be成立

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

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

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

你好.py 你好 Z3

于 2012-08-29T01:04:19.810 回答
0

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

于 2018-09-03T12:47:17.973 回答
0

如果您使用 anaconda，使用以下命令就足以安装 z3。

pip install z3-solver
于 2022-01-26T16:21:59.123 回答