Использование CP-SAT из OR-Tools для задач расписания

Статья посвящена практическому применению CP-SAT solver из библиотеки Google OR-Tools для решения задач оптимизации и планирования. Рассматриваются методы построения расписаний с использованием методов удовлетворения ограничений.