The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
-
Updated
Jul 20, 2026 - Jupyter Notebook
The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
Solve production scheduling problems with constraint programming in Python.
EA FC 26 Automated SBC Solving using Integer Programming ⚽
A webapp that visualizes and annotates your ortools' CP-SAT logs. Partially inspired by gurobi-logtools.
ScheduleOpt benchmarks
WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models
Gerador da Grade de Horário.
EA FC FUT Squad Building Challenges solver powered by google or-tools
Goptivum - Better and FOSS alternative to the Vulcan Optivum scheduling software
Intelligent, open-source automatic schedule generator. Personal weekly planner and shift scheduler – generates full timetables and work rotas from user availability, constraints and preferences. Python + Google OR-Tools.
Code for my post on hospital shift scheduling using OR-Tools
Scheduling library powered by constraint programming (CP-SAT)
Research project tackling universities' scheduling via CSP.
Production OR-Tools optimization service exposing 11 tools across 4 intelligence levels (scheduling, routing, packing, sensitivity, robust, stochastic, Pareto, prescriptive). Dual-stack MCP + REST.
Hybrid metaheuristic–RL framework for multi-objective university course timetabling (UCTP). NSGA-II + PPO/DQN + Multi-Armed Bandit operator selection + CP-SAT decomposition repair + Kempe/Ejection chain neighborhoods.
A spec-kit extension that uses constraint programming (Google OR-Tools CP-SAT) to produce provably optimal task-to-agent assignments with DAG precedence, hallucination-aware capacity caps, file-conflict avoidance, stochastic durations, online replanning, and interactive HTML output.
Supply chain risk & inventory operations — CP-SAT MILP optimization, PPO RL inventory policy, BOM management, supplier risk scoring (rule-based + RF), Clear-to-Build analysis | Enterprise: K8s + Helm + Terraform + MLflow + Prometheus/Grafana | 181 tests
A static scheduler using OR-Tools library
Add a description, image, and links to the cp-sat topic page so that developers can more easily learn about it.
To associate your repository with the cp-sat topic, visit your repo's landing page and select "manage topics."