40 namespace Test {
namespace FlatZinc {
49 (void)
new FlatZincTest(
"int_div",
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 constraint int_div(7, 4, a);\n\
56 constraint int_div(-7, 4, b);\n\
57 constraint int_div(7, -4, c);\n\
58 constraint int_div(-7, -4, d);\n\
Gecode::FloatVal c(-8, 8)