Gecode

Gecode (acrónimo de Generic Constraint Development Environment ) es una biblioteca de software para resolver problemas de satisfacción de restricciones . Está programada en C++ y se distribuye como software libre bajo la permisiva licencia MIT . Gecode cuenta con enlaces para varios lenguajes de programación como Prolog , Python y Ruby , y una interfaz para el lenguaje de modelado AMPL .

El desarrollo de Gecode ha sido dirigido por Christian Schulte, ^{[ 2 ]} pero ha contado con la contribución de muchos otros investigadores y programadores, incluidos Denys Duchier, Filip Konvicka, Gabor Szokoli, Guido Tack, Håkan Kjellerstrand, Mikael Lagerkvist, Patrick Pekczynski, Raphael Reischuk y Tias Guns. ^{[ 3 ]}

La primera versión de Gecode se publicó en diciembre de 2005. ^{[ 4 ]} Desde entonces, Gecode se ha convertido rápidamente en un sistema de programación con restricciones muy destacado. Entre los factores que contribuyen a ello se incluyen su rendimiento de ejecución, su extensibilidad, su distribución como software libre y de código abierto bajo una licencia permisiva y su implementación en un lenguaje de programación ampliamente utilizado. Además de su uso independiente, su extensibilidad y su licencia lo hacen muy adecuado para su uso en otros proyectos. ^{[ 5 ]} Gecode se ha adaptado a varios lenguajes; por ejemplo, Gelisp es una interfaz de Gecode para Lisp. ^{[ 6 ]}

• Acelerar la propagación de restricciones . Christian Schulte y Peter J. Stuckey, en Wallace, 2004, páginas 619–633.
• Compilación y ejecución de lenguajes de modelado declarativos para GecodeRaffaele Cipriano, Agostino Dovier, Jacopo Mauro. Conferencia: Conferencia Internacional sobre Programación Lógica/Conferencia y Simposio Internacional Conjunto sobre Programación Lógica - ICLP (JICSLP), págs.  744–748, 2008.
• Programación con restricciones monádicas con Gecode . Pieter Wuille, Tom Schrijvers. Actas del 8.º Taller Internacional sobre Modelado y Reformulación de Restricciones, páginas 171-185. Taller internacional sobre modelado y reformulación de restricciones. Lisboa, 20 de septiembre de 2009.
• Un solucionador híbrido para la búsqueda en vecindarios grandes: Combinando Gecode y EasyLocal++ . Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier. Conferencia: Metaheurísticas Híbridas - HM, pp.  141–155, 2009. DOI: 10.1007/978-3-642-04918-7_11

• Página principal de Gecode
• Christian Schulte, archivado el 6 de junio de 2014 en Wayback Machine , desarrollador principal de Gecode.
• Propagación de restricciones Archivado el 19/04/2009 en Wayback Machine - Disertación de Guido Tack que explica la teoría y la implementación de Gecode