concepts.dm.pdsketch.csp_solvers

This module contains CSP solvers for PDSketch. These solvers will be primarily used in search-and-optimization problems in the task and motion planning problem, although some strategies and solvers can be used in general domains as well.

Current solvers include:

• Brute-force sampling-based CSP solver. See concepts.dm.pdsketch.csp_solvers.brute_force_sampling.

• DPLL-sampling-based CSP solver (a generalization of the DPLL algorithm to mixed discrete-continuous CSPs). See concepts.dm.pdsketch.csp_solvers.dpll_sampling.

brute_force_sampling	This file corresponds to a brute-force sampling-based strategy for CSP solving.
dpll_sampling	The DPLL-Sampling algorithm for solving CSPs.