concepts.pdsketch.planners.optimistic_search_with_simulation#

Planners using CSP solvers and simulators. The main difference between this file and the concepts.pdsketch.csp_solvers.dpll_sampling is that this file assumes that the CSP is a grounding of a planning domain problem. Therefore, it does not rely on a PDSketch definition of the underlying physical system. Instead, it can directly simulate the physical system to check the validity of a solution.

Functions

construct_csp_from_optimistic_plan(executor, ...)

csp_dpll_sampling_solve_with_simulation(...)

optimistic_search_with_simulation(executor, ...)

Solve an optimistic plan using the DPLL+Sampling algorithm and an actual physics simulator.

solve_optimistic_plan_with_simulation(...[, ...])

Solve an optimistic plan using the DPLL+Sampling algorithm and an actual physics simulator.

Classes

OptimisticSearchSymbolicPlanner

An enumeration.