concepts.dm.crow.csp_solver.dpll_sampling.dpll_simplify

dpll_simplify(executor, csp, enable_ignore=True, return_assignments=False)

Simplify the CSP using DPLL algorithm.

Parameters:

• executor (CrowExecutor) – the executor.

• csp (ConstraintSatisfactionProblem) – the CSP.

• enable_ignore (bool) – whether to ignore constraints whose RHS value is not determined.

• return_assignments (bool) – whether to return the assignments.

Returns:

the simplified CSP.

Return type:

ConstraintSatisfactionProblem | Tuple[ConstraintSatisfactionProblem, Dict[int, Assignment]]