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.
python optimization scheduling academic pandas python3 constraint-programming operations-research combinatorial-optimization education-technology timetabling course-scheduling or-tools google-cloud-run streamlit cp-sat university-scheduling repair-solver
-
Updated
Jul 1, 2026 - Python