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