Xpress-Kalis

Xpress-Kalis を使用すると、Mosel モジュール Kalis から Artelys Kalis©の制約ソルバーにアクセスできます。Xpress-Kalis のソフトウェアは、 Artelys 社が所有し開発しています。Xpress-Kalis を使用すると、Kalis の制約プログラミング機能が Mosel 環境で使用可能になり、ユーザは制約プログラミング（CP）モデルを Mosel 言語で定式化し、解くことができます。メモリ内でのデータ転送（Mosel IO ドライバ使用）やデータベースへの ODBC アクセス（mmodbc モジュールより）など、Mosel 環境の機能を扱うすべてのデータの使用が Kalis によって容易にできるようになります。

機能

Xpress-Kalis は、標準線形制約の他に、'all-different'、'element'、'occurrence'、 'equivalence'、および'implication' などの有限領域の変数に対する一定数のいわゆるグローバルな制約関係を定義します。また、いくつかの制約を、例えば分離を記述するような論理表現と組み合わせることも可能です。

制約処理：制約は自動的に、あるいはユーザの明確なリクエストによって、書き込むことができるので、様々なレベルの双方向性を持つモデルの書き込みが可能です。

Kalis 特有の強みは、列挙戦略を柔軟に定義できることです。ユーザは様々な選択肢の中から分岐スキーム（探索木の形状を決定）を選択し、ビルトイン変数と値抽出戦略の組み合わせを自分自身の経験則によって定義します。

Xpress-IVE による表示

ビジュアル開発環境である Xpress-IVE は、CP 探索木と CP 統計ペインのグラフ表示など、複数のソフトウェア固有の表示によるCPモデルの開発と分析をサポートしています。もちろん、IVE の標準機能（例：ブラウズ可能なエンティティ表示、構文強調表示、デバッガ、その他）はすべて同じように使用できます。

ユーザのグラフ付モデル

探索木表示

CP 統計

ソルバーを組み合わせる

Mosel 言語は異なるソルバーを組み合わせるプラットフォームとして使用できます。特に、Xpress-Kalis にXpress-Optimizer を組み合わせると、CP と LP/MIP による問題解決ができます。

詳細内容は、Xpress学習広場／関係資料にあります。