concepts.dm.pdsketch.planners.optimistic_search_with_simulation.optimistic_search_with_simulation

optimistic_search_with_simulation(executor, simulator, state, goal_expr, *, generator_manager=None, symbolic_planner=OptimisticSearchSymbolicPlanner.BRUTE_FORCE, max_actions=4, symbolic_planner_kwargs=None, csp_max_trials=1, csp_max_generator_trials=3, verbose=True, solver_verbose=False, use_tqdm=True)

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

Parameters:

• executor (PDSketchExecutor)

• simulator (PDSketchSimulatorInterface)

• state (State)

• goal_expr (str | ValueOutputExpression)

• generator_manager (GeneratorManager | None)

• symbolic_planner (str | OptimisticSearchSymbolicPlanner)

• max_actions (int)

• symbolic_planner_kwargs (Dict[str, Any] | None)

• csp_max_trials (int)

• csp_max_generator_trials (int)

• verbose (bool)

• solver_verbose (bool)

• use_tqdm (bool)

Return type:

Tuple[State | None, ConstraintSatisfactionProblem | None, List[OperatorApplier] | None]