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