concepts.pdsketch.planners.optimistic_search_with_simulation.csp_dpll_sampling_solve_with_simulation

csp_dpll_sampling_solve_with_simulation(executor, simulator, csp, state, actions, *, generator_manager=None, max_generator_trials=3, enable_ignore=False, solvable_only=False, verbose=False)

Parameters:

• executor (PDSketchExecutor)

• simulator (PDSketchSimulatorInterface)

• csp (ConstraintSatisfactionProblem)

• state (State)

• actions (Sequence[OperatorApplier])

• generator_manager (GeneratorManager | None)

• max_generator_trials (int)

• enable_ignore (bool)

• solvable_only (bool)

• verbose (bool)

Return type:

bool | Dict[int, Assignment] | None