40 namespace Test {
namespace FlatZinc {
49 (void)
new FlatZincTest(
"sat_array_bool_or",
51 array[1..4] of var bool: x :: output_array([1..4]);\n\
53 constraint bool_eq(x[1], false);\n\
54 constraint bool_eq(x[2], false);\n\
55 constraint bool_eq(x[4], false);\n\
56 constraint array_bool_or(x, true);\n\
60 "x = array1d(1..4, [false, false, true, false]);\n\
Gecode::FloatVal c(-8, 8)