dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / optional / test-opt-int-2.mzn
at develop 56 B view raw
1array [1..3] of var opt 1..5: x; 2 3constraint sum(x) = 5;