The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
-
Updated
Nov 7, 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 27 Automated SBC Solving using Integer Programming ⚽
A webapp that visualizes and annotates your ortools' CP-SAT logs. Partially inspired by gurobi-logtools.
Optimal Minecraft farm layouts via exact CP-SAT optimisation
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
Code for my post on hospital shift scheduling using OR-Tools
Goptivum - Better and FOSS alternative to the Vulcan Optivum scheduling software
Scheduling library powered by constraint programming (CP-SAT)
自治体向け保育所入所選考エンジン
Deterministic on-call schedules for medical groups. AI translates the rules; Google OR-Tools (CP-SAT) builds the month — coverage, rest, and fairness checked, not guessed. Agent-first setup for Claude Code or Codex.
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.
Optimal resource scheduling over a rolling horizon, powered by Google OR-Tools CP-SAT.
Carbon-aware load scheduler: shifts EV charging, water heating, laundry and pumps into the cleanest grid hours without missing a deadline. Next.js + FastAPI + OR-Tools CP-SAT, live weather-based carbon signal, System One decisions, execution tracking.
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.
KAIROS is a production CP-SAT solver for university course timetabling: hard-constraint scheduling with repair search and Great Deluge soft polish, deployed as a bilingual web app.
To associate your repository with the cp-sat topic, visit your repo's landing page and select "manage topics."