Gecode: Um Solver de Restrições de Alto Desempenho e Open Source
Gecode é um toolkit open source em C++ para desenvolvimento de sistemas baseados em restrições. Conhecido por seu desempenho de ponta e design modular, ele possui um conjunto abrangente de recursos, incluindo restrições sobre inteiros, booleanos, conjuntos e números de ponto flutuante (mais de 70 restrições globais do Catálogo de Restrições Globais e muitas outras). O Gecode oferece heurísticas avançadas de ramificação, vários mecanismos de busca (incluindo busca paralela), suporte a MiniZinc, quebra automática de simetria e mecanismos de reinicialização. Sua extensa documentação e mais de 50.000 casos de teste garantem confiabilidade e facilidade de uso. O Gecode conquistou todas as medalhas de ouro nos Desafios MiniZinc de 2008 a 2012, mostrando seu desempenho excepcional.
Leia mais