36 namespace Test {
namespace FlatZinc {
45 (void)
new FlatZincTest(
"int_div",
46 "var int: a :: output_var;\n\ 47 var int: b :: output_var;\n\ 48 var int: c :: output_var;\n\ 49 var int: d :: output_var;\n\ 51 constraint int_div(7, 4, a);\n\ 52 constraint int_div(-7, 4, b);\n\ 53 constraint int_div(7, -4, c);\n\ 54 constraint int_div(-7, -4, d);\n\ Gecode::FloatVal c(-8, 8)