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)