迷你python安装

Question

我通过anaconda prompt在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。如果有人遇到过同样的问题并解决了这个问题，我将非常感谢任何关于这个问题的反馈。

Answer 1

为了使用MiniZinc MiniZinc，应该安装Python包(或者至少是minizinc可执行文件)。它在安装文档中被标注为必需的依赖项之一。

当找不到Python可执行文件时，MiniZinc minizinc将输出以下警告，指示找不到该可执行文件：

MiniZinc was not found on the system: no default driver could be initialised