45 (void)
new FlatZincTest(
"int_mod",
46"var int: a :: output_var;\n\
47var int: b :: output_var;\n\
48var int: c :: output_var;\n\
49var int: d :: output_var;\n\
51var 0..10: x :: output_var;\n\
52var 0..10: y :: output_var;\n\
54constraint int_mod(7, 4, a);\n\
55constraint int_mod(-7, 4, b);\n\
56constraint int_mod(7, -4, c);\n\
57constraint int_mod(-7, -4, d);\n\
59constraint int_mod(x, y, 3);\n\
Gecode::FloatVal c(-8, 8)