Javaで制約プログラミング - Qiita

はじめに 制約プログラミング(Constraint Programming)はプログラミングパラダイムの一つです。 制約プログラミングにおいては、変数間の関係を制約という形で記述することによりプログラムを記述します。 現在ではAIと言えばディープラーニングと同義のように言われたりしますが、かつてはこの制約プログラミングや数式処理などもAIと呼ばれていました。 Javaで制約プログラミングのライブラリを実装し、エイト・クイーン、覆面算、数独などの問題を解いてみます。 対象とする問題 最も単純な問題を対象とします。具体的には以下のような問題です。 変数の定義域は整数のみとします。 変数の定義域は有限で、その範囲は問題の中で定義されているものとします。 簡単な例題 説明のために簡単な例題を考えてみます。 式 a + b = c を満たす変数a, b, cの値を求めてください。 ただし a < b