algorithm - SAT4J による最適化

Question

SAT4Jを使用して以下の問題を解決しようとしています。私の質問は、API を使用して SAT4J に問題を指定する方法です。

問題は次のとおりです。

boolean[50][50][20] variables; int[50][50][20] utility;

maximize Σ(over i,j,k) variables[i][j][k] * utility[i][j][k]

そのような：

for each (i, j): Σ(over x) variables[i][j][x] <= 1

for each (i, j): Σ(over x) variables[i][x][j] <= 1

for each (i, j): Σ(over x) variables[x][i][j] <= 1