dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / globals / nvalue / globals_nvalue.exp5
at develop 62 B view raw
1a = array1d(1..4, [3, 1, 2, 1]); 2n = 3; 3---------- 4==========