dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / general / mzn-implicit4.mzn
at develop 127 B view raw
1 2constraint let { 3 array[int] of int: x = [1, 2, 3, 4] 4 } in ( 5 length(x) = 4 6 ); 7 8solve satisfy; 9 10output ["Ok"];