Gecode
De Wikipedia, la enciclopedia libre
Gecode (Generic Constraint Development Enviroment) es una biblioteca en C++ abierta, eficiente y portable para el desarrollo de sistemas y aplicaciones basados en restricciones.
Actualmente es distribuida bajo licencia tipo BSD