solverforge 0.8.6

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

use solverforge_config::SolverConfig as FacadeSolverConfig;

// Initializes console output if the feature is enabled.
#[inline]
pub fn init_console() {
    #[cfg(feature = "console")]
    solverforge_console::init();
}

#[inline]
pub fn load_solver_config() -> FacadeSolverConfig {
    FacadeSolverConfig::load("solver.toml").unwrap_or_default()
}

// Derive macros
pub use solverforge_macros::{PlanningEntityImpl, PlanningSolutionImpl, ProblemFactImpl};

// Domain types
pub use solverforge_core::domain::{
    EntityCollectionExtractor, EntityDescriptor, PlanningEntity, PlanningId, PlanningSolution,
    ProblemFact, ProblemFactDescriptor, ShadowVariableKind, SolutionDescriptor, ValueRangeType,
    VariableDescriptor,
};

// Scoring
pub use solverforge_scoring::{Director, ScoreDirector, ShadowVariableSupport, SolvableSolution};
pub use tokio::sync::mpsc::UnboundedSender;

// Solver infrastructure
pub use solverforge_solver::builder::ListContext;
pub use solverforge_solver::heuristic::selector::{
    DefaultCrossEntityDistanceMeter, DefaultDistanceMeter, FromSolutionEntitySelector,
};
pub use solverforge_solver::manager::{
    KOptPhaseBuilder, ListConstructionPhaseBuilder, PhaseFactory, SolverFactory,
};
pub use solverforge_solver::scope::{ProgressCallback, SolverScope};
pub use solverforge_solver::{
    build_phases, descriptor_has_bindings, log_solve_start, run_solver, run_solver_with_config,
    ListConstructionArgs, ListVariableEntity, ListVariableMetadata, PhaseSequence, SolverEvent,
    SolverRuntime, SolverTelemetry, UnifiedRuntimePhase,
};

// Config
pub use solverforge_config::{PhaseConfig, SolverConfig};

// Stream types needed for macro-generated extension traits
pub use solverforge_scoring::stream::filter::{AndUniFilter, FnUniFilter, TrueFilter, UniFilter};
pub use solverforge_scoring::stream::{
    ChangeSource, CollectionExtract, TrackedExtract, UniConstraintBuilder, UniConstraintStream,
};