gecode 6.2.0 Toolkit for developing constraint-based systems

Gecode is a C++ toolkit for developing constraint-based systems and applications. It provides a modular and extensible solver.