问z3py安装
EN

Stack Overflow用户

提问于 2013-03-26 12:32:24

回答 1查看 1.6K关注 0票数 0

我很难让z3使用Python。我正在运行Windows 7 64位。我下载了64位Python3.3.0和64位z3 4.3.0。我已经更新了我的PATH和PYTHONPATH以包括z3 \bin目录。但是，当我试图在python中使用z3时，会出现以下错误：

从z3导入*回溯(最近一次调用)：文件""，在ImportError中的第1行：'z3'：B‘\x03\xf3\r’中的坏魔术号

有人知道出了什么问题吗?怎么解决呢？

谢谢

回答已采纳

发布于 2013-03-26 15:48:07

Pythonv4.3.0不支持Python3.3。我们必须使用Python2.7(或2.6)。下一个正式版本将支持Python3.x。同时，您可以使用unstable (正在工作中)分支。有关更多信息，请参见以下相关问题：

票数 2

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/15637173

复制

相似问题

问z3py安装EN