z3 - z3py 安装

Question

我无法让 z3 与 Python 一起工作。我正在运行 Windows 7 64 位。我已经下载了 64 位 Python 3.3.0 和 64 位 z3 4.3.0。我已经更新了我的 PATH 和 PYTHONPATH 以包含 z3 \bin 目录。但是，当我尝试在 python 中使用 z3 时，出现以下错误：

from z3 import * Traceback（最近一次调用最后一次）：文件“”，第 1 行，在 ImportError 中：'z3' 中的坏幻数：b'\x03\xf3\r\n'

有谁知道出了什么问题以及如何解决？

谢谢

Answer 1

Z3 v4.3.0 不支持 Python 3.3。我们必须使用 Python 2.7（或 2.6）。下一个正式版本将支持 Python 3.x。同时，您可以使用unstable(working-in-progress) 分支。有关更多信息，请参阅以下相关问题：

• 在 Python 3.3 中使用 Z3Py