cp-sat
Solve production scheduling problems with constraint programming in Python.
The showtime grid, solved. A constraint solver for the cinema week: every screen, every session, every distributor term, and the turnaround between them.
Generate playable, explainable canon variants from monophonic MIDI or MusicXML melodies.
Optimal resource scheduling over a rolling horizon, powered by Google OR-Tools CP-SAT.