36 namespace Test {
namespace FlatZinc {
45 (void)
new FlatZincTest(
"sat_array_bool_and",
47 array[1..10] of var bool: x :: output_array([1..10]);\n\
48 array[1..10] of var bool: y :: output_array([1..10]);\n\
50 constraint array_bool_and(x, true);\n\
51 constraint array_bool_and(y, false);\n\
55 "x = array1d(1..10, [true, true, true, true, true, true, true, true, true, true]);\n\
56 y = array1d(1..10, [false, false, false, false, false, false, false, false, false, false]);\n\
Gecode::FloatVal c(-8, 8)