Gecode is a software library for solving constraint satisfaction problems. It provides a programming interface for creating and manipulating constraint models, as well as a number of efficient constraint-solving algorithms. Gecode suppor..