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)