在minizinc的约束中使用表

Question

如果有人帮助我，我将不胜感激。我需要对两个数组的4个成员遵循用户在minizinc工具中指定的特定模式的约束进行建模。

例如，我需要X [0]，X [1]，Y [0]，Y [1]采取以下一种模式：

（0,0,1,1），（0,1,0,1）和（0,1,1,1）。

如果有人帮助我解决问题，我将不胜感激。

Answer 1

使用table constraint可以轻松实现：

constraint table([X[0], X[1], Y[0], Y[1]], [|
    0,0,1,1 |
    0,1,0,1 |
    0,1,1,1 |
|]);