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

Question

我已经使用Anaconda Prompt在我的Python3环境中从PyPi安装了z3-solver软件包（pip install z3-solver）。程序包出现在site-packages/目录中（程序包具有_init__.py和所有基本文件，包括z3.py）。但是，当我尝试从Jupyter Notebook运行this example时，它返回以下消息：NameError：未定义名称'Int'。我只使用Anaconda了很短的时间，所以我不确定安装的工作方式。确实很奇怪，因为“ pip install”命令在大多数情况下都能正常工作。我做错了什么，还是这个软件包需要更多的配置？

Answer 1

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