Using tables in constraints in minizinc

Question

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.

Answer 1

This is easily achieved using the table constraint:

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