在 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

使用表约束可以轻松实现这一点：

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