dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / cardinality_atmost_partition.exp2
at develop 90 B view raw
1nvar = 2; 2partitions = [{1, 3}, 4..4, {2, 6}]; 3variables = [2, 3, 7, 1, 6, 0]; 4----------