错误进口Z3

Question

我想在PyDev的使用Z3，我想补充z3py和libz3.dll到窗口/首选项/ PyDev的/ Jython的解释器的路径，但我得到了错误，如下

回溯（最近调用最后一次）： 文件“C：\ Users \ linda \ z3 \ python \ z3.py”文件“C：\ Users \ linda \ workspace \ LearningPyDev \ main.py”，第11行，在 中输入z3 ” 45行，在 从z3printer进口* 文件 “C：\用户\林达\ Z3 \蟒蛇\ z3printer.py”，8号线，在 进口SYS，IO，Z3 导入错误：没有名为IO

模块

无论如何，io模块是什么？有没有可能在pydev中运行z3？

Answer 1

io是一个核心Python模块。它在2.6中加入，并且在每个后续版本中都有出现。你在Python的一个非常旧的版本？如果您运行的是Python 2.5或更低版本（您可以在任何命令行中使用python --version进行检查），则需要将Python更新为新版本。