software/minizinc/tests/spec/unit/general/mzn_mod.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / minizinc / tests / spec / unit / general / mzn_mod.mzn

at develop 185 B view raw

 1/***
 2!Test
 3expected: !Result
 4  status: SATISFIED
 5***/
 6
 7constraint  7  mod  4 =  3;
 8constraint -7  mod  4 = -3;
 9constraint  7  mod -4 =  3;
10constraint -7  mod -4 = -3; 
11
12solve satisfy;
13