Normalize (cpmpy.transformations.normalize)

Normalizing the constraints given to a CPMpy model.

cpmpy.transformations.normalize.simplify_boolean(lst_of_expr, num_context=False)

removes boolean constants from all CPMpy expressions only resulting boolean constant is literal ‘false’ - list_of_expr: list of CPMpy expressions

cpmpy.transformations.normalize.toplevel_list(cpm_expr, merge_and=True)

unravels nested lists and top-level AND’s and ensures every element returned is a CPMpy Expression with .is_bool() true.

• cpm_expr: Expression or list of Expressions

• merge_and: if True then a toplevel ‘and’ will have its arguments merged at top level