dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / bug202.err_exp
at develop 212 B view raw
1mzn2fzn: 2 error: 3 bug202.mzn:12 4 In constraint. 5 In 'forall' expression. 6 In comprehension. 7 k = 1 8 j = 1 9 In comprehension head. 10 In let-variable 'capacity'. 11 Array index ranges do not match.