我正在尝试使用 python 中的 Z3 库,但它不起作用。它给出了一个错误 Int is not defined。
我使用 pip 安装了 z3 模块,如您所见,导入库时没有抛出任何错误消息。我正在使用 Mac OS X 和 python 版本 2.7.6
>>> from z3 import *
>>> x = Int('x')
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
NameError: name 'Int' is not defined
最佳答案
我一开始也有同样的问题。
问题的原因是你没有安装正确的包。
正确的包名是z3-solver
。
安装它:
pip install z3-solver
关于python - Z3 Int 未定义错误,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/35965357/