在minizinc中使用约束中的表

Question

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

例如，我需要X[0]、X[1]、Y[0]、Y[1]采用以下模式之一：

(0,0,1,1(、(0,1,0,1(和(0,11,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 |
|]);