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/