G
YouTube TikTok Games
Skip to content
#

cp-sat

Here are 178 public repositories matching this topic...

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.

  • Updated Nov 9, 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
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 Nov 12, 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