Interactive computer-aided composition with constraints

Computer-aided composition systems enable composers to write programs to generate and transform musical scores. In this sense, constraint programming is appealing because of its declarative nature: the composer constrains the score and relies on a solver to automatically provide solutions. However, the existing constraint solvers often lack interactivity. Specifically, the composers do not participate in the selection of a particular solution. We propose an interactive search algorithm that enables the composer to alter and to navigate in the solution space. To this aim, we propose spacetime programming, a paradigm based on lattices and synchronous process calculi. The result is an interactive score editor with constraint support, and we experiment it on the all-interval series problem.