36 namespace Test {
namespace FlatZinc {
45 (void)
new FlatZincTest(
"seq_search",
46 "var 1..3: x :: output_var;\n\ 47 var 1..3: y :: output_var;\n\ 48 var 1..3: z :: output_var;\n\ 49 constraint int_ne(x, y);\n\ 50 constraint int_ne(x, z);\n\ 51 constraint 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)