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

Experimenting with the CP-SAT solver

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)

Production OR-Tools optimization service exposing 11 tools across 4 intelligence levels (scheduling, routing, packing, sensitivity, robust, stochastic, Pareto, prescriptive). Dual-stack MCP + REST.

Research project tackling universities' scheduling via CSP.

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.

A static scheduler using OR-Tools library

Hybrid ML + CP-SAT scheduling optimization system for sequencing, allocation, and resource-constrained job scheduling using OR-Tools and LightGBM.

Automated School Timetable Generator built using Laravel and FastAPI. It solves complex scheduling constraints with the Google OR-Tools CP-SAT solver.