concepts.pdsketch.planners.optimistic_search_with_simulation.solve_optimistic_plan_with_simulation

solve_optimistic_plan_with_simulation(executor, simulator, state, goal_expr, actions, *, generator_manager=None, csp_max_trials=1, csp_max_generator_trials=3, verbose=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)

• actions (Sequence[OperatorApplier])

• generator_manager (GeneratorManager | None)

• csp_max_trials (int)

• csp_max_generator_trials (int)

• verbose (bool)

Return type:

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