Миницинк: ослабление ограничений при обнаружении несоответствия

Question

При получении в MiniZinc сообщение:

ВНИМАНИЕ: обнаружено несоответствие модели

Это означает, что Модель НЕ УДОВЛЕТВОРЕНА из-за определенного ограничения в некоторой строке Модели, есть ли способ, кроме как закомментировать ограничение, которое приводит к несогласованности, чтобы "ослабить" это ограничение, и Миницинк пересчитывает решение?

Answer 1

(я скопировал свой комментарий в «формальный» ответ, так что теперь вы можете принять ответ.)

В новейшей версии MiniZinc (v2.2.0) есть решатель - findMUS - для решения таких проблем, когда он пытается идентифицировать виновника.