Gecode：高性能なオープンソース制約ソルバー

Gecodeは、制約ベースのシステムを開発するためのオープンソースC++ツールキットです。最先端の性能とモジュール設計で知られており、整数、ブール値、集合、浮動小数点型に対する包括的な制約セット（グローバル制約カタログからの70以上のグローバル制約など）を備えています。Gecodeは、高度な分岐ヒューリスティック、複数の検索エンジン（並列検索を含む）、MiniZincサポート、自動対称性破壊、再起動メカニズムを提供します。包括的なドキュメントと5万件以上のテストケースにより、信頼性と使いやすさが保証されています。Gecodeは、2008年から2012年にかけてMiniZincチャレンジで全金メダルを獲得し、その優れた性能を実証しました。