cp-sat
Solve production scheduling problems with constraint programming in Python.
Generate playable, explainable canon variants from monophonic MIDI or MusicXML melodies.