标签: compiler-errors minizinc
MiniZinc IDE-xossPB报告:"警告:在搜索之前检测到模型不一致"。 这是什么意思?如何解决这样的错误?
答案 0 :(得分:0)
错误意味着将MiniZinc文件(.mzn)转换为FlatZinc文件(.fzn)的程序检测到该模型无法解析。
提示是放松某些域或注释掉一些约束,看看错误是否消失。例如。约束,例如"约束1 = 2;"虽然它几乎从来没有那么简单,但是给出了这样的错误。