Работа с модулем Python minizink

[ANazarov1980]

Коллеги!

Кто-нибудь пытался работать с модулем minizink для решения задач в ограничениях?

Я безуспешно пытаюсь подключить модуль, такое ощущение, что Spyder не видит исполняемый файл minizink.exe.

D:\ProgramData\Anaconda3\lib\site-packages\minizinc\__init__.py:25: RuntimeWarning: MiniZinc was not found on the system. No default driver could be initialised.
  warnings.warn(
Traceback (most recent call last):

  File "D:\MY EDUCATION\!ПРОГРАММИРОВАНИЕ\Python\!РЕШЕНИЕ ЗАДАЧ\Zython\untitled0.py", line 56, in <module>
    solver = minizinc.Solver.lookup("gecode")

  File "D:\ProgramData\Anaconda3\lib\site-packages\minizinc\solver.py", line 135, in lookup
    assert isinstance(driver, CLIDriver)

AssertionError

Не могу понять, в чем проблема. На других форумах пару раз поднималась эта проблема, но советы в моем случае не помогли.