制約プログラミングに JaCop ライブラリを使用して Java で Binary Puzzles をコーディングしようとしていますが、行を不均等にするのに苦労しています。標準の XneqY 制約は個々の変数のみを対象としており、IntVar[] に相当するものはありません。代替手段として LexOrder を使用してみましたが、ある行を辞書編集的に別の行よりも大きくするように強制するため、制約が多すぎます。 LexOrder ではないプリミティブな制約。これを行う良い方法を知っている人はいますか？現在、XneqY を変更し、数値をバイナリに変換し、バイナリを整数に戻すことで行/列に数値を割り当てる新しい制約を作成しようとしていますが、新しいアイデアをいただければ幸いです。