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