constraint-programming - 最も活発なコミュニティとリソースを備えた制約プログラミング ツールセット

Question

CP初心者です。これまで MiniZinc で遊んできましたが、これがとても楽しいと感じています。

あまりコミットしすぎる前に、最も活発なコミュニティ、研究で積極的に開発および使用されていること、および最高の学習リソース (例とチュートリアル) の観点から、どの CP 言語とソルバーから始めるのが最適かを理解したいと思います。

これまでのオプションは、MiniZinc、ECLiPSe、および or-tools のようです。

ありがとう、

Answer 1

MiniZinc は優れた出発点です。より多くの言語に興味がある場合は、ChocoとJaCoPを学習することをお勧めします。どちらも Java ライブラリとして使用でき、どちらも非常に活発なコミュニティがあります。

Answer 2

ここ数か月、あなたがすでに述べたように、計画の問題から算術および論理パズルに至るまで、あらゆる種類の問題を解決するためにECLiPSeプログラミング言語をいじっていましたが、この単純さと力に驚かされました。言語。これは Prolog 言語に基づいているため、Prolog の基本的な知識があれば、言語とその構文に簡単かつ迅速に適応できます。この言語のボーナス (imo) は、特定のデータへのアクセスを非常に便利にする統合された論理ループです。また、この Web サイトでは、すべての機能について非常に明確なドキュメントとコード チュートリアルが提供されており、よく知られた既存の問題の実装を含むページがここで提供されています。. これらは、言語を学習している間、特に私にとって非常に役に立ちました。