制約プログラミングを実際に行うためのツールを紹介します。

理論的なつながりのある分野をご紹介します。

制約プログラミングに関連する学会・研究会・団体・雑誌などを紹介しています。

CP2013参加レポートはこちら。

制約処理入門用の資料を紹介します。少しずつ内容を充実させていく予定です。

新着情報