Crate solverforge 

Re-exports

pub use solverforge_bridge as bridge;

Modules

cvrp

planning

prelude

stream

Macros

planning_model

Structs

AppliedMoveTelemetry

BendableScore

CandidatePullTelemetry

One ordered candidate pull retained by an enabled trace.

CandidateTraceCompositeIdentity

Canonical identity for a compound/cartesian move.

CandidateTraceConfig

Opt-in bounded candidate-pull trace configuration.

CandidateTraceConstructionTarget

A descriptor/entity location that a construction candidate was generated for. It is absent for local-search candidates.

CandidateTraceDigest

Stable, non-cryptographic digest used to quickly reject mismatched trace provenance or prefixes.

CandidateTraceExecutionPolicy

The execution policy the solver actually installed for this run.

CandidateTraceExternalDigest

Digest value supplied by an external fixture or integration boundary.

CandidateTraceHeader

Immutable provenance emitted once for an opt-in candidate trace.

CandidateTraceInputAttestation

Origin of supplied run-input provenance.

CandidateTraceInputProvenance

Immutable caller-supplied context for a diagnostic run.

CandidateTraceOperationIdentity

Canonical identity for an explicit non-cursor operation performed by a specialized list construction/search engine.

CandidateTracePhaseAttribute

One canonical resolved-plan attribute.

CandidateTracePhasePlan

A resolved solver phase plan used as candidate-trace provenance.

CandidateTraceProvenanceStatus

Separate execution/input provenance status for benchmark qualification.

CandidateTraceTelemetry

Bounded trace emitted in final/pause snapshots for an enabled run.

ConflictRepair

ConstraintAnalysis

ConstraintMetadata

DefaultDistanceMeter

EntityClassId

Logical planning-entity class identifier.

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

ListPrecedenceMakespanConstraint

MoveTelemetry

PartitionedSearchPhase

Partitioned search phase that solves partitions in parallel.

PhaseTelemetry

ProblemFactClassId

Logical problem-fact class identifier.

QualifiedCandidateTraceRunProvenance

Immutable attestation required before a caller may request a qualified diagnostic run.

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

SolverTelemetryDetail

One atomically retained diagnostic view of a job.

VariableId

Logical planning-variable identifier.

Enums

AcceptorConfig

CandidateTraceCoordinate

One explicitly framed logical-coordinate component.

CandidateTraceDisposition

One state transition for a retained candidate-pull entry.

CandidateTraceIdentity

Canonical, owned identity for one traced candidate.

CandidateTraceInputProvenanceStatus

Trust state of optional caller-supplied run-input provenance.

CandidateTraceQualificationError

CandidateTraceQualificationStatus

Whether a trace explicitly requested qualified run provenance.

CandidateTraceSource

The engine path that consumed a candidate.

ConstructionHeuristicType

ConstructionObligation

EnvironmentMode

ExplorationType

ForagerConfig

HardRegressionPolicyConfig

MoveSelectorConfig

MoveThreadCount

PhaseConfig

RecreateHeuristicType

SharedNodeOperation

SolverEvent

SolverLifecycleState

SolverManagerError

SolverTerminalReason

ThreadCount

UnionSelectionOrder

Constants

CANDIDATE_TRACE_FORMAT_VERSION

Wire-format version for CandidateTraceHeader and every framed value in this module.

Traits

Analyzable

Trait for solutions that can be analyzed for constraint violations.

ConstraintSet

CrossEntityDistanceMeter

Measures distance between two list positions, potentially across entities.

CustomSearchPhase

Director

IncrementalConstraint

Projection

ProjectionSink

Score

Core trait for all score types in SolverForge.

Search

Typed search authoring declaration consumed by the configured runtime.

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

Type Aliases

RepairProvider

ScalarAssignmentRule

ScalarCandidateProvider

Attribute Macros

planning_entity

planning_solution

problem_fact

solverforge_constraints