Skip to content
#

cp-sat

Here are 108 public repositories matching this topic...

KAIROS

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.

  • Updated Sep 7, 2026
  • Python

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.

  • Updated Sep 7, 2026
  • Python

Add this topic to your repo

To associate your repository with the cp-sat topic, visit your repo's landing page and select "manage topics."

Learn more