このサイトは制約プログラミングに関する情報を提供することを目的としています。問わず掲載していく予定です。「問題を制約の集合として記述してコンピュータに与えると、コンピュータが制約を充たした答を見つけてくれる」ことを目指すプログラミング・パラダイムのことだと言えます。内容を充実させていく予定です。ライブラリに分類して紹介します。分類はあくまで便宜的なものです。Prolog的なシンタクスを持つかどうかで別々に分類されてしまったりしています。iz-master@ml.ndis.co.jpwww.ndis.co.jp。