solverforge 0.15.0

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

/* 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, ConstructionHeuristicType, ConstructionObligation, EnvironmentMode,
    ForagerConfig, HardRegressionPolicyConfig, MoveSelectorConfig, MoveThreadCount, PhaseConfig,
    RecreateHeuristicType, SolverConfig, SolverConfigOverride, UnionSelectionOrder,
};
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, Projection, ProjectionSink, SharedNodeDiagnostics, SharedNodeId,
    SharedNodeOperation,
};

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

pub use solverforge_scoring::{Director, ScoreDirector};

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

pub use solverforge_solver::heuristic::selector::DefaultDistanceMeter;
pub use solverforge_solver::CrossEntityDistanceMeter;
pub use solverforge_solver::{
    analyze, local_search, run_solver, run_solver_with_config, Analyzable, AppliedMoveTelemetry,
    ConflictRepair, ConstraintAnalysis, CustomSearchPhase, ExhaustiveSearchConfig,
    ExhaustiveSearchPhase, ExplorationType, FunctionalPartitioner, MoveTelemetry,
    PartitionedSearchPhase, 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, SolverTerminalReason, ThreadCount,
};

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

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