[Mossly]

Having recently read gradus for the first time, I'm excited to hear that strict counterpoint has been implemented in this way.

"The development of the procedural music system was undertaken by Kent Jolly and Aaron McLeran with Brian Eno acting as consultant...

A melody generator is included that is based on Markov models. A further routine implements a simplified counterpoint based on Johann Joseph Fux’s treatise Gradus ad Parnassum."

ADAPTIVE GAME SCORING WITH AMBIENT MUSIC by Axel Berndt https://search.informit.org/doi/pdf/10.3316/informit.6932267...