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)