dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / globals / inverse / globals_inverse.exp
at develop 185 B view raw
1inv_f1 = array1d(1..4, [5, 7, 6, 8]); 2inv_f2 = array1d(5..8, [1, 3, 2, 4]); 3---------- 4inv_f1 = array1d(1..4, [5, 7, 8, 6]); 5inv_f2 = array1d(5..8, [1, 4, 2, 3]); 6---------- 7==========