我已经使用 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' 命令在大多数情况下都能正常工作。我做错了什么还是这个包需要更多的配置?
最佳答案
您可以运行 conda install pip
,然后运行 pip install z3-solver
。
关于python - 已安装 Z3 求解器但我无法导入任何内容,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/61170977/