dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / chi / examples / command_line / model.mzn
at develop 162 B view raw
1int: n; 2array[1..n] of var 1..2*n: x; 3include "alldifferent.mzn"; 4constraint alldifferent(x); 5solve maximize sum(x); 6output ["The resulting values are \(x).\n"];