dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / bug_08.mzn
at develop 174 B view raw
1/*** 2!Test 3expected: 4- !Result 5 solution: !Solution 6 objective: -2 7 x: 2 8***/ 9 10% Regression test for github bug #8 11 12var 1..2: x; 13var int : nx = -x; 14solve minimize nx;