concepts.dm.pdsketch.csp_solvers.dpll_sampling.csp_dpll_simplify#

csp_dpll_simplify(executor, csp, enable_ignore=True, return_assignments=False)[source]#

Simplify the CSP using DPLL algorithm.

Parameters:
Returns:

the simplified CSP.

Return type:

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