Z3 解算器已安装，但我无法导入任何内容

Question

我已经使用 Anaconda Prompt ( pip install z3-solver ) 在我的 Python3 环境中从 PyPi 安装了 z3-solver 包，仅此而已。
该包出现在site-packages/目录中（该包具有 _init__.py 和所有必需文件，包括 z3.py ）。但是，当我尝试从 Jupyter Notebook 运行此示例时，它返回以下消息：NameError：名称“Int”未定义。
我只使用 Anaconda 很短时间，所以我不确定安装是如何进行的。这真的很奇怪，因为“pip install”命令在大多数情况下都可以正常工作。我做错了什么或者这个包需要更多配置吗？

Answer 1

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