z3py安装

Question

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

  

    

      

来自z3 import *       Traceback（最近一次调用最后一次）：         文件“”，第1行，in       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（正在进行中）分支。有关更多信息，请参阅以下相关问题：

• Using Z3Py With Python 3.3