Minizinc：发现不一致时放宽约束

Question

获取MiniZinc消息时：

  

警告：检测到模型不一致

这意味着由于模型的某些行中存在特定约束，该模型是无法满足的，除了注释掉导致不一致的约束之外，还有其他方法可以“放松”该约束并且Minizinc重新计算解决方案吗？ / p>

Answer 1

（我将评论复制到“正式”答案中，因此现在您可以接受答案了。）

在最新的MiniZinc版本（v2.2.0）中，有一个求解器-“ findMUS”-用于解决此类问题，试图找出罪魁祸首。