dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / test_github_30.mzn
at develop 262 B view raw
1% RUNS ON mzn20_fd 2% RUNS ON mzn-fzn_fd 3 4set of int: smallset = 0..10; 5array[1..2, 1..4] of var smallset: X; 6constraint forall( i in 1..2 ) ( 7let { 8 array[int] of var smallset: Y = row(X, i); 9} in 10 Y[1] == 3 % Any use of Y triggers the issue. 11); 12solve satisfy;