dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / globals / among / globals_among.exp
at develop 147 B view raw
1among_avi1 = array1d(1..10, [4, 5, 5, 6, 6, 6, 7, 7, 7, 7]); 2among_avi2 = array1d(1..10, [4, 5, 5, 6, 6, 6, 7, 7, 8, 8]); 3among_vi = 7; 4----------