z3py安装
我很难让z3与Python一起工作。我正在运行64位Windows 7。我已经下载了64位Python 3.3.0和64位z3 4.3.0。我已经更新了路径和PYTHONPATH以包含z3\bin目录。但是，当我尝试在python中使用z3时，出现以下错误： 从z3进口* 回溯（最近一次呼叫最后一次）： 文件“”，第1行，在 ImportError:“z3”中的无效幻数：b'\x03\xf3\r\n' 有人知道出了什么问题以及如何解决吗z3py安装,z3,smt,constraint-programming,Z3,Smt,Constraint Programming,我很难让z3与Python一起工作。我正在运行64位Windows 7。我已经下载了64位Python 3.3.0和64位z3 4.3.0。我已经更新了路径和PYTHONPATH以包含z3\bin目录。但是，当我尝试在python中使用z3时，出现以下错误： 从z3进口* 回溯（最近一次呼叫最后一次）： 文件“”，第1行，在 ImportError:“z3”中的无效幻数：b'\x03\xf3\r\n' 有人知道出了什么问题以及如何解决吗 谢谢，Z3 v4.3.0不支持Python 3.3。我们必
谢谢，Z3 v4.3.0不支持Python 3.3。我们必须使用Python 2.7（或2.6）。下一个官方版本将支持Python3.x。同时，您可以使用
不稳定