dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / test_bug_129.mzn
at develop 202 B view raw
1/*** 2!Test 3expected: !Result 4 status: SATISFIED 5***/ 6 7array[int] of int: x = [3,4]; 8 9array[int] of int : y = [x | x in 1..2 where z[x]]; 10array[int] of bool : z = [x[i] == 1| i in 1..2]; 11 12solve satisfy;