Function run_solver 

pub fn run_solver<S, C>(
    solution: S,
    finalize_fn: fn(&mut S),
    constraints_fn: fn() -> C,
    get_variable: fn(&S, usize) -> Option<usize>,
    set_variable: fn(&mut S, usize, Option<usize>),
    value_count: fn(&S) -> usize,
    entity_count_fn: fn(&S) -> usize,
    descriptor: fn() -> SolutionDescriptor,
    entity_count_by_descriptor: fn(&S, usize) -> usize,
    terminate: Option<&AtomicBool>,
    sender: UnboundedSender<(S, S::Score)>,
    variable_field: &'static str,
    descriptor_index: usize,
) -> S
where
    S: PlanningSolution,
    S::Score: Score + ParseableScore,
    C: ConstraintSet<S, S::Score>,

Solves a basic variable problem using construction heuristic + local search.

This function is called by macro-generated solve() methods for solutions using #[basic_variable_config]. When phases are configured in solver.toml, the acceptor, forager, and move selectors are built from config; otherwise defaults are used.

Type Parameters

• S - The solution type (must implement PlanningSolution)
• C - The constraint set type

Arguments

• solution - The initial solution to solve
• finalize_fn - Function to prepare derived fields before solving
• constraints_fn - Function that creates the constraint set
• get_variable - Gets the planning variable value for an entity
• set_variable - Sets the planning variable value for an entity
• value_count - Returns the number of valid values
• entity_count_fn - Returns the number of entities
• descriptor - Solution descriptor for solver infrastructure
• entity_count_by_descriptor - Returns entity count for a given descriptor index
• terminate - Optional external termination flag
• sender - Channel for streaming best solutions as they are found
• variable_field - Variable field name
• descriptor_index - Descriptor index