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