36 namespace Test {
namespace FlatZinc {
45 (void)
new FlatZincTest(
"output_test",
46 "var int: x :: output_var;\n\
47 array [1..3] of var 1..9: a :: output_array([1..3]);\n\
49 constraint int_lt(a[2], a[1]);\n\
50 constraint int_lt(a[3], a[2]);\n\
51 constraint int_lin_eq([1, 2, 3, -1], [a[1], a[2], a[3], x], 0);\n\
54 ",
"a = array1d(1..3, [3, 2, 1]);\n\
Gecode::FloatVal c(-8, 8)