Может ли эта модель CP-SAT быть быстрее?

#python #or-tools #operations-research Вопрос: Моя команда создает решатель CP-SAT, который планирует задания (например, домашнее задание) в течение нескольких дней с переменной доступностью (время, доступное для выполнения заданий). Мы пытаемся ускорить…