z3py 安装

Question

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

从 z3 导入 * 回溯（最近一次通话最后）： 文件“”，第 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) 分支。有关详细信息，请参阅以下相关问题：

• Using Z3Py With Python 3.3