Gecode
Appearance
Gecode (for Generic Constraint Development Enviroment) is a software library for solving Constraint satisfaction problems. It's programmed in C++ and distributed as free software under the MIT license.
External links
- Gecode home site
- Constraint Propagation - Dissertation by Guido Tack explaining the theory and implementation of Gecode