The Living Thing / Notebooks :

Constraint solvers

http://www.minizinc.org/

http://www.hakank.org/minizinc/index.html

http://numberjack.ucc.ie/home