dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / en / examples / sonet.dzn
at develop 90 B view raw
1nb_nodes = 5; 2nb_rings = 2; 3capacity = 4; 4Demand = { (1,3), (3,5), (3,2), (2,4), (4,1) };