d-krupke/cpsat-primer

Что это?

Ключевые возможности

• 01Рассматривает основы CP-SAT: переменные, целевые функции, линейные и логические ограничения.
• 02Объясняет продвинутые ограничения, такие как circuit, interval и no-overlap.
• 03Показывает, как задавать лимиты времени, подсказки и параллелизм в решателе.
• 04Учит анализировать логи решателя, чтобы оценивать качество решения.
• 05Сравнивает CP-SAT с решателями MIP и другими методами оптимизации.
• 06Содержит примеры кода на Python и раздел о large neighborhood search.

Сценарии использования

• Изучение комбинаторной оптимизации в рамках обучения на факультете компьютерных наук.
• Переход с решателя MIP на CP-SAT для моделей планирования или маршрутизации.
• Разработка поддерживаемого сервиса оптимизации на CP-SAT с API.
• Бенчмаркинг и настройка модели CP-SAT для производственной задачи.

Быстрый старт

1. 1

   Установите OR-Tools с помощью pip

   pip install -U ortools
2. 2

   Скопируйте пример Knapsack из README и запустите его на Python

Темы

Частые вопросы

Что такое cpsat-primer?

Бесплатное учебное пособие в формате книги по моделированию и решению задач комбинаторной оптимизации с помощью CP-SAT solver из Google OR-Tools. CP-SAT Primer — бесплатное учебное пособие в формате книги, которое помогает освоить CP-SAT solver из Google OR-Tools — решатель для комбинаторной оптимизации, основанный на constraint programming и SAT. Материал рассчитан на студентов компьютерных наук и разработчиков, содержит примеры на Python и сравнивает CP-SAT с решателями mixed integer programming (MIP) и другими инструментами оптимизации.

cpsat-primer можно использовать бесплатно? Какая у него лицензия?

cpsat-primer распространяется с открытым исходным кодом под лицензией CC-BY-4.0. Перед использованием в коммерческих продуктах проверьте условия лицензии.

cpsat-primer всё ещё поддерживается?

Обновлялся за последние 6 месяцев. Последний коммит в cpsat-primer — 6 сент. 2026 г..

Для чего можно использовать cpsat-primer?

Изучение комбинаторной оптимизации в рамках обучения на факультете компьютерных наук. Переход с решателя MIP на CP-SAT для моделей планирования или маршрутизации. Разработка поддерживаемого сервиса оптимизации на CP-SAT с API. Бенчмаркинг и настройка модели CP-SAT для производственной задачи.

Как установить cpsat-primer?

Установите OR-Tools с помощью pip: pip install -U ortools Скопируйте пример Knapsack из README и запустите его на Python

Где скачать cpsat-primer?

Исходный код и инструкции по установке — на GitHub: https://github.com/d-krupke/cpsat-primer