Gecode : un solveur de contraintes open source hautes performances

Gecode est une boîte à outils open source en C++ pour développer des systèmes basés sur les contraintes. Reconnu pour ses performances de pointe et sa conception modulaire, il dispose d'un ensemble complet de fonctionnalités, notamment des contraintes sur les entiers, les booléens, les ensembles et les nombres à virgule flottante (plus de 70 contraintes globales du Global Constraint Catalog et bien d'autres). Gecode offre des heuristiques de branchement avancées, plusieurs moteurs de recherche (y compris la recherche parallèle), la prise en charge de MiniZinc, la rupture de symétrie automatique et des mécanismes de redémarrage. Sa documentation complète et plus de 50 000 cas de test garantissent la fiabilité et la facilité d'utilisation. Gecode a remporté toutes les médailles d'or lors des défis MiniZinc de 2008 à 2012, démontrant ainsi ses performances exceptionnelles.