Python 的 AssertionError Minizinc

问题描述

我在尝试 minizinc 网络的示例代码 (https://minizinc-python.readthedocs.io/en/latest/getting_started.html) 时遇到此错误。

from minizinc import Instance,Model,Solver

# Load n-Queens model from file
nqueens = Model("./nqueens.mzn")
# Find the MiniZinc solver configuration for Gecode
gecode = Solver.lookup("gecode")
# Create an Instance of the n-Queens model for Gecode
instance = Instance(gecode,nqueens)
# Assign 4 to n
instance["n"] = 4
result = instance.solve()
# Output the array q
print(result["q"])

我得到的错误是：

AssertionError                            Traceback (most recent call last)
<ipython-input-1-a64f1a5182f8> in <module>
      2 
      3 # Load n-Queens model from file
----> 4 nqueens = Model("./nqueens.mzn")
      5 # Find the MiniZinc solver configuration for Gecode
      6 gecode = Solver.lookup("gecode")

C:\ProgramData\Anaconda3\lib\site-packages\minizinc\model.py in __init__(self,files)
     85         self._lock = threading.Lock()
     86         if isinstance(files,Path) or isinstance(files,str):
---> 87             self.add_file(files)
     88         elif files is not None:
     89             for file in files:

C:\ProgramData\Anaconda3\lib\site-packages\minizinc\model.py in add_file(self,file,parse_data)
    159         if not isinstance(file,Path):
    160             file = Path(file)
--> 161         assert file.exists()
    162         if not parse_data:
    163             with self._lock:

AssertionError:

我已经下载了 minizinc 和 python。我尝试使用 jupyternotebook 和 spyder，但它们都有相同的问题。如果有人遇到同样的问题并解决了该问题，我将不胜感激有关此问题的任何反馈。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

minizinc