solverforge 0.12.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

/* 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]
pub employee: Option<i64>,
}

#[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};

/* ============================================================================
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::{
    ConstraintMetadata, ConstraintSet, IncrementalBiConstraint, IncrementalConstraint,
    IncrementalUniConstraint, Projection, ProjectionSink,
};

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

pub use solverforge_scoring::{Director, RecordingDirector, ScoreDirector};

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

pub use solverforge_solver::heuristic::selector::DefaultDistanceMeter;
pub use solverforge_solver::CrossEntityDistanceMeter;
pub use solverforge_solver::{
    analyze, run_solver, run_solver_with_config, Analyzable, ConflictRepair, ConstraintAnalysis,
    CoverageGroup, CoverageGroupLimits, RepairCandidate, RepairLimits, RepairProvider,
    ScalarCandidate, ScalarCandidateProvider, ScalarEdit, ScalarGroup, ScalarGroupLimits,
    ScalarTarget, ScoreAnalysis, SelectorTelemetry, Solvable, SolverEvent, SolverEventMetadata,
    SolverLifecycleState, SolverManager, SolverManagerError, SolverRuntime, SolverSnapshot,
    SolverSnapshotAnalysis, SolverStatus, SolverTelemetry, SolverTerminalReason,
};

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

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