dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / test_bug_129.mzn
at develop 187 B view raw
1% RUNS ON mzn20_fd 2% RUNS ON mzn-fzn_fd 3array[int] of int: x = [3,4]; 4 5array[int] of int : y = [x | x in 1..2 where z[x]]; 6array[int] of bool : z = [x[i] == 1| i in 1..2]; 7 8solve satisfy;