I appreciate if anybody helps me with my question. I need to model the constraint that 4 members of two arrays follow a specific pattern given by the user in minizinc tool.
For example I need X[0],X[1],Y[0],Y[1] to take one of the following patterns:
(0,0,1,1) , (0,1,0,1) and (0,1,1,1).
I appreciate if anybody helps me figure it out.
See Question&Answers more detail:
os 与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…