Gecode: Ein Hochleistungs-Constraint-Solver mit Open Source

Gecode ist ein Open-Source-C++-Toolkit zum Entwickeln constraint-basierter Systeme. Bekannt für seine Spitzenergebnisse und sein modulares Design, bietet es umfassende Funktionen, darunter Constraints für Integer, Boolesche Werte, Mengen und Gleitkommazahlen (über 70 globale Constraints aus dem Global Constraint Catalog und viele mehr). Gecode bietet fortschrittliche Branching-Heuristiken, mehrere Suchmaschinen (einschließlich paralleler Suche), MiniZinc-Unterstützung, automatische Symmetriebrechung und Neustartmechanismen. Die umfassende Dokumentation und über 50.000 Testfälle gewährleisten Zuverlässigkeit und Benutzerfreundlichkeit. Gecode räumte von 2008 bis 2012 alle Goldmedaillen bei den MiniZinc-Challenges ab und demonstrierte seine außergewöhnliche Leistung.