Module manager 

High-level solver management with zero-erasure API.

Zero-Erasure Design

All types flow through generics - no Box, Arc, or dyn anywhere. Runtime configuration from TOML/YAML is handled by the macro layer which generates concrete types at compile time.

Structs

ConstraintAnalysis

Analysis of a single constraint’s contribution to the score.

ConstructionPhaseFactory

Zero-erasure factory for construction heuristic phases.

KOptPhase

K-opt local search phase.

KOptPhaseBuilder

Builder for creating k-opt local search phases.

ListConstructionPhase

List construction phase that assigns elements round-robin to entities.

ListConstructionPhaseBuilder

Builder for creating list construction phases.

LocalSearchPhaseFactory

Zero-erasure factory for local search phases.

ScoreAnalysis

Result of analyzing a solution’s constraints.

SolutionManager

Stateless service for score analysis.

SolverFactory

Zero-erasure solver factory.

SolverFactoryBuilder

Builder for SolverFactory with zero type erasure.

SolverManager

Manages async solve jobs with channel-based solution streaming.

Enums

ConstructionType

Type of construction heuristic to use.

LocalSearchType

Type of local search algorithm to use.

PhaseConfig

Configuration for a phase.

SolverBuildError

Error type for SolverFactory building.

SolverStatus

Status of a solving job.

Traits

Analyzable

Trait for solutions that can be analyzed for constraint violations.

PhaseFactory

Factory trait for creating phases with zero type erasure.

Solvable

Trait for solutions that can be solved with channel-based solution streaming.

Functions

solver_factory_builder

Creates a builder for SolverFactory.