concepts.dm.crow.csp_solver.dpll_sampling.dpll_filter_unused_simulation_rhs#

dpll_filter_unused_simulation_rhs(executor, constraints, assignments)[source]#

Filter out simulation constraints that only appear once in the RHS of the constraints. In this case, the variable can be ignored and the related constraints can be removed.

Parameters:
Returns:

the list of constraints that have not been satisfied, after removing all unused variables.

Return type:

List[Constraint | GroupConstraint | None]