concepts.pdsketch.csp_solvers.dpll_sampling.csp_dpll_simplify

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

Simplify the CSP using DPLL algorithm.

Parameters:

• executor (PDSketchExecutor) – 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]]