36namespace Test {
namespace FlatZinc {
45 (void)
new FlatZincTest(
"output_test",
46 "var int: x :: output_var;\n\
47array [1..3] of var 1..9: a :: output_array([1..3]);\n\
49constraint int_lt(a[2], a[1]);\n\
50constraint int_lt(a[3], a[2]);\n\
51constraint 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)