compiler-errors - 如何解决 MiniZinc 错误：“搜索前检测到模型不一致”？

Question

MiniZinc IDE-xossPB 报告：“警告：搜索前检测到模型不一致”。这是什么意思？如何解决这样的错误？

Answer 1

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

一个技巧是要么放松一些域，要么注释掉一些约束，看看错误是否消失了。例如，诸如“约束 1=2;”之类的约束 给出这样的错误，尽管它几乎从来没有那么容易。