concepts.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:

executor (PDSketchExecutor) – the executor.
constraints (List[Constraint | GroupConstraint | None]) – the list of constraints.

Returns:

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

Return type: