minizinc python 安装
minizinc python installation
我像往常一样通过 anaconda 提示符在 python 上安装了 minizinc。
pip install minizinc
包说安装成功，我可以导入模块了。但是，我正在关注基本示例 https://minizinc-python.readthedocs.io/en/latest/getting_started.html#a-basic-example
但是一旦我 运行 第一行
from minizinc import Instance, Model, Solver
我收到以下导入错误：
ImportError: cannot import name 'Instance' from 'minizinc'
(C:\ProgramData\Anaconda3\lib\site-packages\minizinc\__init__.py)
这是我唯一遇到问题的软件包。我当前的 python 版本是 3.7，根据 https://minizinc-python.readthedocs.io/en/latest/getting_started.html#a-basic-example 应该支持 minizinc。如果有人遇到同样的问题并解决了问题，我将不胜感激有关此问题的任何反馈。
为了使用 MiniZinc Python，应该安装 MiniZinc 包（或者至少 minizinc 可执行文件）。它在安装文档中被标注为必需的依赖项之一。
当找不到minizinc可执行文件时，MiniZinc Python将输出以下警告，表明无法找到可执行文件：
MiniZinc was not found on the system: no default driver could be initialised
我像往常一样通过 anaconda 提示符在 python 上安装了 minizinc。
pip install minizinc
包说安装成功，我可以导入模块了。但是，我正在关注基本示例 https://minizinc-python.readthedocs.io/en/latest/getting_started.html#a-basic-example 但是一旦我 运行 第一行
from minizinc import Instance, Model, Solver
我收到以下导入错误：
ImportError: cannot import name 'Instance' from 'minizinc'
(C:\ProgramData\Anaconda3\lib\site-packages\minizinc\__init__.py)
这是我唯一遇到问题的软件包。我当前的 python 版本是 3.7，根据 https://minizinc-python.readthedocs.io/en/latest/getting_started.html#a-basic-example 应该支持 minizinc。如果有人遇到同样的问题并解决了问题，我将不胜感激有关此问题的任何反馈。
为了使用 MiniZinc Python，应该安装 MiniZinc 包（或者至少 minizinc 可执行文件）。它在安装文档中被标注为必需的依赖项之一。
当找不到minizinc可执行文件时，MiniZinc Python将输出以下警告，表明无法找到可执行文件：
MiniZinc was not found on the system: no default driver could be initialised