45 (void)
new FlatZincTest(
"bool_clause",
"var bool: w :: output_var;\
46var bool: x :: output_var;\
47array [1..3] of var bool: y :: output_array([1..3]);\
48array [1..3] of var bool: z :: output_array([1..3]);\
50constraint bool_clause([w], []);\
51constraint bool_clause([], [x]);\
52constraint bool_clause(y, []);\
53constraint bool_clause([], z);\
58y = array1d(1..3, [true, false, false]);\n\
59z = array1d(1..3, [false, false, false]);\n\
Gecode::FloatVal c(-8, 8)