solverforge 0.19.3

SolverForge - A constraint solver in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126

/* SolverForge - A Constraint Solver in Rust

SolverForge is a high-performance constraint satisfaction/optimization solver.
It helps you optimize planning and scheduling problems.

# Quick Start

```
use solverforge::prelude::*;

#[problem_fact]
pub struct Employee {
#[planning_id]
pub id: i64,
pub name: String,
}

#[planning_entity]
pub struct Shift {
#[planning_id]
pub id: i64,
#[planning_variable(value_range_provider = "employees", allows_unassigned = true)]
pub employee_idx: Option<usize>,
}

#[planning_solution]
pub struct Schedule {
#[problem_fact_collection]
pub employees: Vec<Employee>,
#[planning_entity_collection]
pub shifts: Vec<Shift>,
#[planning_score]
pub score: Option<HardSoftScore>,
}
```
*/

/* ============================================================================
Attribute Macros
============================================================================
*/

pub use solverforge_macros::{
    planning_entity, planning_model, planning_solution, problem_fact, solverforge_constraints,
};

/* ============================================================================
Score Types
============================================================================
*/

pub use solverforge_config::{
    AcceptorConfig, CandidateTraceConfig, ConstructionHeuristicType, ConstructionObligation,
    EnvironmentMode, ForagerConfig, HardRegressionPolicyConfig, MoveSelectorConfig,
    MoveThreadCount, PhaseConfig, RecreateHeuristicType, SolverConfig, SolverConfigOverride,
    UnionSelectionOrder,
};
pub use solverforge_core::domain::{EntityClassId, ProblemFactClassId, VariableId};
pub use solverforge_core::score::{
    BendableScore, HardMediumSoftScore, HardSoftDecimalScore, HardSoftScore, Score, SoftScore,
};

pub mod cvrp;
pub mod planning;
pub mod prelude;
pub mod stream;

#[doc(hidden)]
pub mod __internal;

/* ============================================================================
Constraint API
============================================================================
*/

pub use solverforge_scoring::{
    fixed_weight, hard_weight, ConstraintMetadata, ConstraintSet, FixedWeight, HardWeight,
    IncrementalBiConstraint, IncrementalConstraint, IncrementalConstraintSealed,
    IncrementalUniConstraint, ListPrecedenceMakespanConstraint, Projection, ProjectionSink,
    SharedNodeDiagnostics, SharedNodeId, SharedNodeOperation,
};

/* ============================================================================
Score Director
============================================================================
*/

pub use solverforge_scoring::{Director, ScoreDirector};

/* ============================================================================
Solver
============================================================================
*/

pub use solverforge_bridge as bridge;
pub use solverforge_solver::heuristic::selector::DefaultDistanceMeter;
pub use solverforge_solver::stats::{
    CandidatePullTelemetry, CandidateTraceCompositeIdentity, CandidateTraceConstructionTarget,
    CandidateTraceCoordinate, CandidateTraceDigest, CandidateTraceDisposition,
    CandidateTraceExecutionPolicy, CandidateTraceExternalDigest, CandidateTraceHeader,
    CandidateTraceIdentity, CandidateTraceInputAttestation, CandidateTraceInputProvenance,
    CandidateTraceInputProvenanceStatus, CandidateTraceOperationIdentity,
    CandidateTracePhaseAttribute, CandidateTracePhasePlan, CandidateTraceProvenanceStatus,
    CandidateTraceQualificationError, CandidateTraceQualificationStatus, CandidateTraceSource,
    CandidateTraceTelemetry, QualifiedCandidateTraceRunProvenance, CANDIDATE_TRACE_FORMAT_VERSION,
};
pub use solverforge_solver::CrossEntityDistanceMeter;
pub use solverforge_solver::{
    analyze, local_search, Analyzable, AppliedMoveTelemetry, ConflictRepair, ConstraintAnalysis,
    CustomSearchPhase, ExhaustiveSearchConfig, ExhaustiveSearchPhase, ExplorationType,
    FunctionalPartitioner, MoveTelemetry, PartitionedSearchPhase, PhaseTelemetry, RepairCandidate,
    RepairLimits, RepairProvider, ScalarAssignmentRule, ScalarCandidate, ScalarCandidateProvider,
    ScalarEdit, ScalarGroup, ScalarGroupLimits, ScalarTarget, ScoreAnalysis, Search, SearchContext,
    SelectorTelemetry, SimpleDecider, SolutionPartitioner, Solvable, SolverEvent,
    SolverEventMetadata, SolverLifecycleState, SolverManager, SolverManagerError, SolverRuntime,
    SolverSnapshot, SolverSnapshotAnalysis, SolverStatus, SolverTelemetry, SolverTelemetryDetail,
    SolverTerminalReason, ThreadCount,
};

/* ============================================================================
Console Output (feature-gated)
============================================================================
*/

#[cfg(feature = "console")]
pub use solverforge_console as console;