Looking for tips, tutorials, books and other resources to get started with Constraint Programming.
9 Answers
There is a lot of excellent material available on the web once you get in the groove, but the links below are (IMO) good starting points (the ones I used).
Programming with Constraints: An Introduction - (Course website)
Programming with Constraints: An Introduction - (Google book)
Online Guide to Constraint Programming
Constraint Handling Rules (CHR) is a language to develop own (problem specific) constraint solvers. Check this:
There you find links to
- WebCHR Online Demo (originally developed at LMU Munich, now beautified at Uni Ulm)
- Several implementations for Prolog (naturally) and Haskell, as well as a (unfortunately unmaintained) prototype for Java (JCK).
There is also a JavaScript implementation of CHR: http://chrjs.net (https://github.com/fnogatz/CHR.js)
Maybe you can have a look at an introductory course thought at the Saarland University about constraint programming. They do not use mozart as dr_pepper said but Gecode. Gecode is a follow-up language of mozart, implemented partly by the same people.
I recommend getting started with mozart. It is an open-source constraint programming language and the site has plenty of documentation that will get you started.
Here is another link to a course website on Constraint Programming.
Earlier the course used Mozart/Oz for the assingments but it has now been replaced by Gecode.
The handbook of constraint programming is well thought of.
In trivia, my supervisor from fourth year university (which was a while ago now) is referenced there. :)
Related