GECODE
GEneric
COnstraint
Development
Environment
Calvo Morata, Antonio
Collado Segura, Miguel
Introducción
• Inició su desarrollo en el año 2002
• Librería C++
• Código Abierto (licencia MIT)
• Dominios finitos y conjuntos
• Documentación detallada
Introducción
• Ganador de MiniZinc challenges entre 20082012, en todas sus categorías
• Soporte para Windows, Linux y Mac OS
• Última versión: 26 de marzo de 2012 (v 3.7.3)
• Interfaz Gecode/J en lenguaje java (solo
funciona con versiones anteriores a la 3.0)
• Interfaz gráfica de búsqueda con Gist
Instalación en Visual Studio
• Necesario Visual Studio 2008 o 2010
• 1-.Descargar el archivo correspondiente
a la versión de Visual instalada desde
http://www.gecode.org/download.html
• 2-.Ejecutar el instalador.
• 3-.Enlazar archivos correspondientes al
proyecto (ver siguiente trasparencia)
Características
• Tipos:IntVar, BoolVar, IntVarArray, IntVarArgs,
IntSetArgs, BoolVarArgs…
• Global constraints: all-different, global
cardinality, count, regular, inverse, cumulative…
• Soporte para Scripts y optimización
• Permite reificación
• Aprovecha las funcionalidades de C++ POO
Estructura
• Inclusión de librerías y espacio de nombres
• Declaración de la clase principal modelo
(constraints y branch)
• Funciones auxiliares de búsqueda e impresión
de la solución
• Main que crea el objeto y llama al resolutor.
Documentación/Información
• Modeling and Programming with Gecode
(www.gecode.org/doc-latest/MPG.pdf)
• Gecode Reference Documentation
(http://www.gecode.org/doc/3.7.3/reference/)
• Comunidad
(http://www.gecode.org/pipermail/)
Descargar

GECODE