Интересно, что означает информация solver.Response.NumConflicts? В документации (ях) я нашел операторы типа
Возвращает количество конфликтов с момента создания решателя. (https://developers.google.com/optimization/reference/python/sat/python/cp_model#numconflicts)
Это не совсем удовлетворяет мои вопросы. Рассказывает ли это что-то о том, сколько раз ограничение причинялось? Или это какой-то показатель того, насколько точным является решение? Даже если это не ноль для оптимальных решений.
И связанный вопрос: что может быть самой убедительной информацией о качестве решения?
Спасибо