www.gecode.org [email protected]
Generic Constraint Development Environment
Gecode
Modeling and Programming with Gecode