dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / general / mzn_div.mzn
at develop 183 B view raw
1/*** 2!Test 3expected: !Result 4 status: SATISFIED 5***/ 6 7constraint 7 div 4 = 1; 8constraint -7 div 4 = -1; 9constraint 7 div -4 = -1; 10constraint -7 div -4 = 1; 11 12solve satisfy;