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
DPLL-sampling-based CSP solver (a generalization of the DPLL algorithm to mixed discrete-continuous CSPs). See
This file corresponds to a brute-force sampling-based strategy for CSP solving.
The DPLL-Sampling algorithm for solving CSPs.