Skip to main content

Crate solverforge

Crate solverforge 

Source

Modules§

cvrp
planning
prelude
stream

Macros§

planning_model

Structs§

AppliedMoveTelemetry
BendableScore
ConflictRepair
ConstraintAnalysis
ConstraintMetadata
DefaultDistanceMeter
ExhaustiveSearchConfig
ExhaustiveSearchPhase
Exhaustive search phase that explores all possible solutions.
FixedWeight
Public wrapper for fixed score weights that are not one of the built-in score types.
FunctionalPartitioner
A simple partitioner that creates a specified number of partitions.
HardMediumSoftScore
HardSoftDecimalScore
HardSoftScore
HardWeight
Public wrapper that marks a fixed or dynamic weight as hard metadata.
IncrementalBiConstraint
IncrementalUniConstraint
MoveTelemetry
PartitionedSearchPhase
Partitioned search phase that solves partitions in parallel.
RepairCandidate
RepairLimits
ScalarCandidate
ScalarEdit
ScalarGroup
ScalarGroupLimits
ScalarTarget
ScoreAnalysis
ScoreDirector
SearchContext
SelectorTelemetry
SharedNodeDiagnostics
SharedNodeId
SimpleDecider
A simple value-based decider that works with any value type.
SoftScore
SolverConfig
SolverConfigOverride
SolverEventMetadata
SolverManager
Manages retained async solve jobs with lifecycle-complete event streaming.
SolverRuntime
Runtime context for a retained solve job.
SolverSnapshot
SolverSnapshotAnalysis
SolverStatus
SolverTelemetry

Enums§

AcceptorConfig
ConstructionHeuristicType
ConstructionObligation
EnvironmentMode
ExplorationType
ForagerConfig
HardRegressionPolicyConfig
MoveSelectorConfig
MoveThreadCount
PhaseConfig
RecreateHeuristicType
SharedNodeOperation
SolverEvent
SolverLifecycleState
SolverManagerError
SolverTerminalReason
ThreadCount
UnionSelectionOrder

Traits§

Analyzable
Trait for solutions that can be analyzed for constraint violations.
ConstraintSet
CrossEntityDistanceMeter
Measures distance between two list positions, potentially across different entities.
CustomSearchPhase
Director
IncrementalConstraint
Projection
ProjectionSink
Score
Core trait for all score types in SolverForge.
Search
SolutionPartitioner
Splits a solution into independent partitions for parallel solving.
Solvable
Trait for solutions that can run inside the retained lifecycle manager.

Functions§

analyze
Analyzes a solution for constraint violations.
fixed_weight
Wraps a fixed score weight while preserving static dispatch.
hard_weight
Wraps a weight and forces hard constraint metadata while preserving static dispatch.
local_search
run_solver
run_solver_with_config

Type Aliases§

RepairProvider
ScalarAssignmentRule
ScalarCandidateProvider

Attribute Macros§

planning_entity
planning_solution
problem_fact
solverforge_constraints