Tag: Constraint Programming

Constraint Programming in Picat

Written by on May 26, 2016 in LISP, Music, Programming with 0 Comments
Constraint Programming in Picat

In my last post I briefly described how we can use the Screamer Lisp library for constraint programming in music. Another language I have been hearing a lot about, in the context of constraint programming, is Picat, a Prolog-derived language. Although I am familiar with Prolog and have been a user of Sicstus Prolog for many […]

Continue Reading

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

Top