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