concepts.dm.crow.csp_solver.dpll_sampling.dpll_filter_deterministic_equal#

dpll_filter_deterministic_equal(executor, constraints, assignments, simulation_state_index=None)[source]#

Filter the constraints to remove the ones that are determined to be equal.

Parameters:

executor (CrowExecutor) – the executor.
constraints (List[Constraint | GroupConstraint | None]) – the list of constraints.
assignments (Dict[int, Assignment]) – the dictionary of assignments.
simulation_state_index (int | None)

Returns:

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

Return type: