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