ジオコード

Gecode ( Generic Constraint Development Environmentの略) は、制約充足問題を解決するためのソフトウェア ライブラリです。C ++でプログラムされており、寛容なMIT ライセンスの下でフリー ソフトウェアとして配布されています。Gecode には、 Prolog、Python、Rubyなどのいくつかのプログラミング言語のバインディングと、AMPLモデリング言語へのインターフェイスがあります。

Gecode の開発は Christian Schulte によって主導されています^[1]が、Denys Duchier、Filip Konvicka、Gabor Szokoli、Guido Tack、Håkan Kjellerstorm、Mikael Lagerkvist、Patrick Pekczynski、Raphael Reischuk を含む他の多くの研究者やプログラマーによって貢献されています。 、ティアスガンズ。^[2]

Gecode の最初のリリースは 2005 年 12 月でした。^[3] それ以来、Gecode は急速に最も有名な制約プログラミングシステムの 1 つになりました。^[要出典] その理由は、Gecode が高速で、拡張可能で、寛容なライセンスの下で無料でオープン ソースであり、一般的な言語で記述されていることです。それ自体が非常に有用であるだけでなく、その拡張性とライセンスにより、他のプロジェクトで使用するのに非常に適しています。^[4] Gecode はいくつかの言語に移植されており、たとえば、Gelisp は Lisp 用の Gecode のラッパーです。^[5]

• 制約伝播の高速化。Christian Schulte と Peter J. Stuckey、Wallace、2004 年、619 ～ 633 ページ。
• 宣言型モデリング言語を Gecode にコンパイルして実行する^{[リンク切れ‍ ]}。Raffaele Cipriano、Agostino Dovier、Jacopo Mauro。会議: 論理プログラミングに関する国際会議/論理プログラミングに関する合同国際会議およびシンポジウム - ICLP(JICSLP)、pp. 744–748、2008
• Gecode によるモナド制約プログラミング。Pieter Wuille、Tom Schrijvers。制約モデリングと再定式化に関する第 8 回国際ワークショップの議事録、ページ:171-185。制約モデリングと再定式化に関する国際ワークショップ。リスボン、2009 年 9 月 20 日。
• 大規模近傍探索のためのハイブリッド ソルバー: Gecode と EasyLocal++ の混合。Raffaele Cipriano、Luca Di Gaspero、Agostino Dovier。会議: ハイブリッド メタヒューリスティック - HM、pp. 141–155、2009 年。DOI: 10.1007/978-3-642-04918-7_11

• Gecodeホームページ
• Christian Schulte は、 Wayback Machineで 2014-06-06 にアーカイブされています。Gecode の主任開発者です。
• 制約伝播 アーカイブ 2009-04-19 at the Wayback Machine - Gecode の理論と実装を説明する Guido Tack の論文