Gecode は、制約ベースのシステムとアプリケーションを開発するためのポータブル アクセス可能な効率的な環境です。Gecode、根本的にプログラミングでは、他のシステムに容易に連結することができますという意味です。新しい伝播者 (として制約の実装)、分岐戦略や検索エンジンのプログラミングをサポートしています。新しい可変領域有限領域として効率の同じレベルでプログラムすることし、来る Gecode を持つ定義済み変数を設定する整数。
