Elevator ad Parnassum: A SyGuS-Driven Counterpoint Tool Suite

Abstract

Counterpoint is a genre of music that is structured according to a rigid ruleset. Recent work has taken advantage of this insight to automatically synthesise mu- sic in the genre. In this project, I further exploit the insight to support repair and verification in addition to synthesis. I achieve this by encoding counterpoint com- position as a Syntax-Guided synthesis problem, and in doing so, I translate a sub- set of counterpoint into a formal grammar and logical specification. Ultimately, I have packaged this approach into a graphical application whose execution speed I analyse herein.