40 namespace Test {
namespace FlatZinc {
49 (void)
new FlatZincTest(
"sat_eq_reif",
57 array [1..5] of var bool: result :: output_array([1..5]) =\n\ 58 [eq_a, eq_b, eq_c, ne_a, ne_b];\n\ 60 constraint bool_eq_reif(false, eq_a, true);\n\ 61 constraint bool_eq_reif(eq_b, true, true);\n\ 62 constraint bool_eq_reif(false, true, eq_c);\n\ 64 constraint bool_xor(false, ne_a, true);\n\ 65 constraint bool_xor(ne_b, true, true);\n\ 66 constraint bool_xor(false, true, true);\n\ 70 "result = array1d(1..5, [false, true, false, true, false]);\n\ Gecode::FloatVal c(-8, 8)