Tag: Screamer

Constraint Programming Using Screamer

Written by on May 17, 2016 in LISP, Music, Programming with 0 Comments
Constraint Programming Using Screamer

A few years I ago I had briefly experimented with the Screamer library in the context of automatic test case generation from specification. I felt it was a useful utility for doing simple constraint programming tasks. Recently while going through some of the past articles in the Opusmodus forum, I was pleasantly surprised to find references to constraint programming […]

Continue Reading