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

最佳答案

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

一个提示是要么放松某些 Realm ，要么注释掉一些约束条件，看看错误是否消失了。例如。约束，例如“约束1 = 2”；给出这样的错误，尽管几乎从来没有像这样简单。

关于compiler-errors - 如何解决MiniZinc错误: “model inconsistency detected before search” ?，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/28394960/