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.
It's been developed by Guido Tack intending to show a production-quality and highly efficient evidence of the theoretical principles stated in his dissertation.
External links
- Gecode home site
- Constraint Propagation - Dissertation by Guido Tack explaining the theory and implementation of Gecode