导入z3时出错

Question

在pyythi/zythi/3的窗口中添加了pyythi/zy.dll，但错误的是，pyythi/zy/zhi在窗口中添加了jythi/zy/preferences

回溯（最近一次呼叫）： 文件“C:\Users\linda\workspace\LearningPyDev\主.py“，第11行，英寸 导入z3 文件“C:\Users\linda\z3\python\z3.py”，第45行，in 从z3printer导入* 文件“C:\Users\linda\z3\python\z3打印机.py“，第8行，英寸 导入sys，io，z3 重要错误：没有名为io的模块

io模块是什么？可以在pydev中运行z3吗？在

Answer 1

io是一个核心Python模块。它是在2.6中添加的，在以后的每个版本中都有。您使用的是非常旧的Python版本吗？如果您运行的是Python版本2.5或更早版本（可以在任何命令行中使用python version），则需要将Python更新到一个新版本。在