constraints - 等式と不等式の制約充足可能性問題のセット

Question

私はCSPに比較的慣れておらず、変数間に課せられた==、>、<、および！=制約に基づいて、それぞれのドメインからすべての変数の値を見つけようとしています。私はChocoとJacopを見ましたが、これらのタイプの問題を解決することについてこれ以上知ることができませんでした。この例の実装を見つけることができる場所を教えていただけますか？私はPrologを使用してこれを解決しましたが、これを行うためにOOPを使用したいと思います。

ありがとうございました。

Answer 1

説明している問題のタイプは、変数が整数にマッピングできる有限のドメインを持っていることを考えると、制約プログラミングの問題を直接説明したものです。

すべての CP システムには、有限領域整数を操作するために必要な演算子があるため、簡単なはずです。

無制限のドメインまたは実際のドメインで変数を解決しようとしている場合、役立つツールがいくつかありますが、それらは一般的ではありません。