diff --git a/cpmpy/transformations/linearize.py b/cpmpy/transformations/linearize.py index a570352a2..aeec44773 100644 --- a/cpmpy/transformations/linearize.py +++ b/cpmpy/transformations/linearize.py @@ -217,7 +217,7 @@ def linearize_constraint(lst_of_expr, supported={"sum","wsum"}, reified=False): newlist += constraints - elif isinstance(cpm_expr, DirectConstraint): + elif isinstance(cpm_expr, (DirectConstraint, BoolVal)): newlist.append(cpm_expr) elif isinstance(cpm_expr, GlobalConstraint) and cpm_expr.name not in supported: