dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / change_partition.exp
at develop 138 B view raw
1nchange = 2; 2partitions = array1d(1..3, [{1, 3}, {4}, {2, 6}]); 3variables = array1d(1..11, [6, 6, 2, 1, 3, 3, 1, 6, 2, 2, 2]); 4----------