wip _imp constraints in fz

ortools/flatzinc/mznlib_sat/redefinitions-2.0.mzn

@@ -31,7 +31,7 @@ predicate int_pow( var int: x, var int: y, var int: r ) =
 % Non shifted elements
 predicate array_var_bool_element_nonshifted(var int: idx,
                                             array [int] of var bool: x,
-                                            var bool: c);
+                                            var bool: c); 
 
 predicate array_var_int_element_nonshifted(var int: idx,
                                            array [int] of var int: x,
@@ -42,3 +42,53 @@ include "nosets.mzn";
 
 % Include strings redefinitions
 include "nostrings.mzn"
+
+% Half-Reified constraints
+%predicate array_bool_and_imp(array [int] of var bool: as, var bool: r);
+%predicate array_bool_or_imp(array [int] of var bool: as, var bool: r);
+%predicate array_bool_xor_imp(array [int] of var bool: as, var bool: r);
+
+%predicate bool_and_imp(var bool: a, var bool: b, var bool: r);
+%predicate bool_clause_imp(array [int] of var bool: as,
+%                          array [int] of var bool: bs, var bool: r);
+%predicate bool_ge_imp(var bool: a, var bool: b, var bool: r);
+%predicate bool_gt_imp(var bool: a, var bool: b, var bool: r);
+%predicate bool_le_imp(var bool: a, var bool: b, var bool: r);
+%predicate bool_lt_imp(var bool: a, var bool: b, var bool: r);
+%predicate bool_ne_imp(var bool: a, var bool: b, var bool: r);
+%predicate bool_ne_imp(var bool: a, var bool: b, var bool: r);
+%predicate bool_or_imp(var bool: a, var bool: b, var bool: r);
+%predicate bool_xor_imp(var bool: a, var bool: b, var bool: r);
+
+%predicate bool_lin_eq_imp(array [int] of int: as, array [int] of var bool: bs,
+%                          var int: c, var bool: r);
+%predicate bool_lin_ge_imp(array [int] of int: as, array [int] of var bool: bs,
+%                          var int: c, var bool: r);
+%predicate bool_lin_gt_imp(array [int] of int: as, array [int] of var bool: bs,
+%                          var int: c, var bool: r);
+%predicate bool_lin_le_imp(array [int] of int: as, array [int] of var bool: bs,
+%                          var int: c, var bool: r);
+%predicate bool_lin_lt_imp(array [int] of int: as, array [int] of var bool: bs,
+%                          var int: c, var bool: r);
+%predicate bool_lin_ne_imp(array [int] of int: as, array [int] of var bool: bs,
+%                          var int: c, var bool: r);
+
+%predicate int_eq_imp(var int: a, var int: b, var bool: r);
+%predicate int_ge_imp(var int: a, var int: b, var bool: r);
+%predicate int_gt_imp(var int: a, var int: b, var bool: r);
+%predicate int_le_imp(var int: a, var int: b, var bool: r);
+%predicate int_lt_imp(var int: a, var int: b, var bool: r);
+%predicate int_ne_imp(var int: a, var int: b, var bool: r);
+
+%predicate int_lin_eq_imp(array [int] of int: as, array [int] of var int: bs,
+%                         int: c, var bool: r);
+%predicate int_lin_ge_imp(array [int] of int: as, array [int] of var int: bs,
+%                         int: c, var bool: r);
+%predicate int_lin_gt_imp(array [int] of int: as, array [int] of var int: bs,
+%                         int: c, var bool: r);
+%predicate int_lin_le_imp(array [int] of int: as, array [int] of var int: bs,
+%                         int: c, var bool: r);
+%predicate int_lin_lt_imp(array [int] of int: as, array [int] of var int: bs,
+%                         int: c, var bool: r);
+%predicate int_lin_ne_imp(array [int] of int: as, array [int] of var int: bs,
+%                         int: c, var bool: r);