Running the following model on Gecode 6.3.0 under MiniZinc 2.5.5 array[1..10] of var bool: x; var 20..30: i; var bool: y; constraint y = x[i]; give the following solution when it should actually give ...
expected: [2][1][1][3]bool{{{{true, false, true}}}, {{{false, true, false}}}}, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results