Gecode: Un solucionador de restricciones de código abierto de alto rendimiento
Gecode es un kit de herramientas de código abierto en C++ para desarrollar sistemas basados en restricciones. Conocido por su rendimiento de vanguardia y diseño modular, cuenta con un conjunto completo de características que incluyen restricciones sobre enteros, booleanos, conjuntos y flotantes (más de 70 restricciones globales del Catálogo de Restricciones Globales y muchas más). Gecode ofrece heurísticas avanzadas de ramificación, múltiples motores de búsqueda (incluida la búsqueda paralela), soporte para MiniZinc, ruptura automática de simetría y mecanismos de reinicio. Su extensa documentación y más de 50.000 casos de prueba garantizan la fiabilidad y la facilidad de uso. Gecode se llevó todas las medallas de oro en los desafíos MiniZinc de 2008 a 2012, mostrando su rendimiento excepcional.
Leer más