Ошибка Choco: начальное распространение: противоречие из-за

Question

Я использую Choco и когда я пытаюсь решить модель, я получаю сообщение:

- Initial Propagation: Contradiction due to [48.89604359598426,4.0]

Что это значит? Я не мог найти это в документах.

Answer 1

Как предложил Sarge Borsch в комментариях, это происходит, когда существует противоречие между одним или несколькими ограничениями и пространством решения. Первое число - единственное решение, найденное для переменной решения. Второе число указывает, что пользователь ввел переменную в качестве этого числа.

Поэтому, например, три решения для x являются 6, 9 а также 10 но если существует ограничение x < 0, что противоречит найденным решениям, и решатель возвращается назад.

Что означает, что нет никаких решений для модели.