Коллеги!
Кто-нибудь пытался работать с модулем 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
Не могу понять, в чем проблема. На других форумах пару раз поднималась эта проблема, но советы в моем случае не помогли.
