40 namespace Test {
namespace FlatZinc {
49 (void)
new FlatZincTest(
"seq_search",
50 "var 1..3: x :: output_var;\n\
51 var 1..3: y :: output_var;\n\
52 var 1..3: z :: output_var;\n\
53 constraint int_ne(x, y);\n\
54 constraint int_ne(x, z);\n\
55 constraint int_ne(y, z);\n\
58 int_search([z], input_order, indomain_min, complete),\n\
59 int_search([y], input_order, indomain_min, complete),\n\
60 int_search([x], input_order, indomain_min, complete)\n\
Gecode::FloatVal c(-8, 8)