安易な OCaml で書かれた整数有限領域上の制約プログラミング ライブラリです。作成し、有限ドメイン変数、算術式、(おそらく非線型) の制約を操作するすべての通常の設備では、組み込みのグローバルな制約と検索目的。また、簡単にユーザー定義の制約と目標 （再帰的なものを含む）、OCaml 高次ブラウニアンラフパスの普及に活用してユーザーの簡単で柔軟なインターフェイスを提供する構築することができます。
