40 namespace Test {
namespace FlatZinc {
49 (void)
new FlatZincTest(
"int_mod",
50 "var int: a :: output_var;\n\ 51 var int: b :: output_var;\n\ 52 var int: c :: output_var;\n\ 53 var int: d :: output_var;\n\ 55 var 0..10: x :: output_var;\n\ 56 var 0..10: y :: output_var;\n\ 58 constraint int_mod(7, 4, a);\n\ 59 constraint int_mod(-7, 4, b);\n\ 60 constraint int_mod(7, -4, c);\n\ 61 constraint int_mod(-7, -4, d);\n\ 63 constraint int_mod(x, y, 3);\n\ Gecode::FloatVal c(-8, 8)