如何解决MiniZinc错误:“搜索前检测到模型不一致”?

时间:2015-02-08 14:19:44

标签: compiler-errors minizinc

MiniZinc IDE-xossPB报告:"警告:在搜索之前检测到模型不一致"。 这是什么意思?如何解决这样的错误?

1 个答案:

答案 0 :(得分:0)

错误意味着将MiniZinc文件(.mzn)转换为FlatZinc文件(.fzn)的程序检测到该模型无法解析。

提示是放松某些域或注释掉一些约束,看看错误是否消失。例如。约束,例如"约束1 = 2;"虽然它几乎从来没有那么简单,但是给出了这样的错误。