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)