Использование таблиц в ограничениях в минизинке

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 |
|]);