45 (void)
new FlatZincTest(
"seq_search",
46"var 1..3: x :: output_var;\n\
47var 1..3: y :: output_var;\n\
48var 1..3: z :: output_var;\n\
49constraint int_ne(x, y);\n\
50constraint int_ne(x, z);\n\
51constraint int_ne(y, z);\n\
54 int_search([z], input_order, indomain_min, complete),\n\
55 int_search([y], input_order, indomain_min, complete),\n\
56 int_search([x], input_order, indomain_min, complete)\n\
Gecode::FloatVal c(-8, 8)