I’ve started learning constraint programming and would like to solve two-part counterpoint problems according to Fux’s counterpoint rules (or similar), from a given cantus firmus.
If anybody has achieved this using the existing constraint-based OM libraries (i.e. Situation, Clouds, OMCS or Cluster Engine), I would love to see it!
P.S. I’m aware of Damien Sprockreels’ ‘FuxCP’ library (part of the ‘Melodizer’ library), but this isn’t compatible with Windows.