迷你锌python安装

Question

和其他软件包一样，我通过anaconda提示符在python上安装了minizing

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的说法，它应该支持Minizing。如果有人遇到过同样的问题并解决了问题，我将非常感谢有关此问题的任何反馈

Answer 1

为了使用Minizing Python，应该安装Minizing捆绑包（或者至少是minizinc可执行文件）。在安装文档中，它是必需的依赖项之一

当未找到minizinc可执行文件时，Minizing Python将输出以下警告，指示无法找到该可执行文件：

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