36 namespace Test {
namespace FlatZinc {
45 (void)
new FlatZincTest(
"flatzinc_output_anns",
46 "var 0..1: x :: output_var;\n\
47 array [1..4] of var 0..3: ys :: output_array([2..3, 0..1]);\n\
49 constraint int_lt(ys[1], ys[2]);\n\
50 constraint int_lt(ys[2], ys[3]);\n\
51 constraint int_lt(ys[3], ys[4]);\n\
52 constraint int_eq(x, ys[1]);\n\
55 ys = array2d(2..3, 0..1, [0, 1, 2, 3]);\n\
Gecode::FloatVal c(-8, 8)