小编Beh*_*jad的帖子

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

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

(0,0,1,1) 、(0,1,0,1) 和 (0,1,1,1)。

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