concepts.dm.pdsketch.csp_solvers.dpll_sampling.dpll_filter_duplicated_constraints#

dpll_filter_duplicated_constraints(executor, constraints)[source]#

Filter out duplicated constraints. For example, if we have x == 1 and x == 1, then we can remove one of them.

Parameters:
Returns:

a tuple of (whether we have made progress, the list of constraints that have not been satisfied).

Return type:

Tuple[bool, List[Constraint | GroupConstraint | None]]