python - 已安装 Z3 求解器但我无法导入任何内容

Question

我已经使用 Anaconda Prompt ( pip install z3-solver ) 在我的 Python3 环境中从 PyPi 安装了 z3-solver 包，就是这样。

该包出现在 site-packages/ 目录中(该包有 _init__.py 和包括 z3.py 在内的所有基本文件)。但是，当我尝试从 Jupyter Notebook 运行 this example 时，它返回以下消息: NameError : name 'Int' is not defined。

我只使用了 Anaconda 很短的时间，所以我不确定安装是如何工作的。这真的很奇怪，因为 'pip install' 命令在大多数情况下都能正常工作。我做错了什么还是这个包需要更多的配置？

Answer 1

您可以运行 conda install pip ，然后运行 ​​pip install z3-solver 。