this repo has no description
1 2array[1..2, int] of var 1..1: x = [|_, _|_, _|]; 3solve satisfy; 4output [show(x)];