dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / test_bug218_inc.mzn
at develop 103 B view raw
1/*** 2# Used as an inclusion to test_bug218.mzn 3***/ 4 5var 1..ub(sum(y)): b; 6array[1..3] of var 1..3: x;