Minizinc：发现不一致时放宽约束
Minizinc: Relax constraints when inconsistency found
进入 MiniZinc 时出现消息：
WARNING: model inconsistency detected
这意味着模型由于模型某行中的特定约束而无法满足，除了注释掉导致与 "relax" 此约束不一致的约束和 Minizinc 重新计算之外，还有其他方法吗解决方案？
（我将我的评论复制到 "formal" 答案中，所以现在您可以接受答案了。）
在最新的 MiniZinc 版本 (v2.2.0) 中，有一个求解器 - "findMUS" - 用于尝试找出问题的根源。
进入 MiniZinc 时出现消息：
WARNING: model inconsistency detected
这意味着模型由于模型某行中的特定约束而无法满足，除了注释掉导致与 "relax" 此约束不一致的约束和 Minizinc 重新计算之外，还有其他方法吗解决方案？
（我将我的评论复制到 "formal" 答案中，所以现在您可以接受答案了。）
在最新的 MiniZinc 版本 (v2.2.0) 中，有一个求解器 - "findMUS" - 用于尝试找出问题的根源。