dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / division / test_div10.mzn
at develop 193 B view raw
1/*** 2!Test 3solvers: [gecode, cbc] 4expected: !Result 5 status: SATISFIED 6 solution: !Solution 7 y: 1 8***/ 9 10var 0..1: y; 11 12constraint y == 1 \/ 2 div y + 2 div (y - 1) == 0 ; 13 14solve satisfy;