Kalis©の制約ソルバーにアクセスできます。所有し開発しています。言語で定式化し、解くことができます。よって容易にできるようになります。有限領域の変数に対する一定数のいわゆるグローバルな制約関係を定義します。いくつかの制約を、例えば分離を記述するような論理表現と組み合わせることも可能です。制約処理:制約は自動的に、あるいはユーザの明確なリクエストによって、書き込むことができるので、様々なレベルの双方向性を持つモデルの書き込みが可能です。特有の強みは、列挙戦略を柔軟に定義できることです。ユーザは様々な選択肢の中から分岐スキーム(探索木の形状を決定)を選択し、ビルトイン変数と値抽出戦略の組み合わせを自分自身の経験則によって定義します。統計ペインのグラフ表示など、複数のソフトウェア固有の表示によるCPモデルの開発と分析をサポートしています。構文強調表示、デバッガ、その他)はすべて同じように使用できます。言語は異なるソルバーを組み合わせるプラットフォームとして使用できます。よる問題解決ができます。詳細内容は、Xpress学習広場/関係資料にあります。