How to resolve MiniZinc error: "model inconsistency detected before search"?

Question

MiniZinc IDE-xossPB 报告："warning: model inconsistency detected before search"。 这是什么意思？如何解决这样的错误？

Answer 1

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

一个技巧是放宽一些域或注释掉一些约束，看看错误是否消失了。例如。像 "constraint 1=2;" 这样的约束会给出这样的错误，尽管它几乎从来没有那么容易。