unifier 0.5.0

Constraint satisfaction / optimization (CSP/COP) modeling and solver framework for Rust, built on pathwise
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

//! `unifier` — constraint satisfaction / optimization (CSP/COP) modeling
//! and solver framework for Rust, built on [`pathwise`](https://github.com/casoon/pathwise).
//!
//! Concept and scope: see `README.md`. Implementation plan: `plan/`.
//!
//! Layered architecture:
//!
//! ```text
//! model        — variable, domain, interval, activity, resource, group
//! constraint   — equal, not_equal, all_different, no_overlap, cumulative
//! propagation  — constraint graph, AC-3 propagator engine
//! score        — hard/soft priority scoring, incremental updates
//! solver       — backtracking (MRV), branch_and_bound
//! dsl          — problem-building surface API
//! ```

pub mod constraint;
pub mod dsl;
pub mod model;
pub mod propagation;
pub mod score;
pub mod solver;

pub use constraint::{
    AllDifferent, AllowedValues, Assignment, AtLeast, AtMost, BucketRange, BucketedTask,
    Constraint, Cumulative, Equal, ExactlyOne, Explanation, ForbiddenValues, LessThanOrEqual,
    MaximumBucketLoad, MinimumDistance, NoOverlap, NotEqual, PeriodicValues, Precedence,
    TaskDemand,
};
pub use dsl::ModelBuilder;
pub use model::{
    Activity, Domain, Group, Interval, Resource, TrailedDomains, Variable, VariableId,
};
pub use propagation::{
    ConstraintGraph, ConstraintViolation, ModelError, PropagationEngine, ValidatedGraph,
};
pub use score::{
    CategorizedObjective, HardSoftScore, Objective, ScoreCalculator, ScoreLevel, WeightedSum,
};
pub use solver::{
    AbortReason, BacktrackingSolver, BranchAndBoundSolver, CancellationToken, LnsSolver,
    LocalSearchSolver, ParallelSolver, SearchStatistics, Solution, SolveOutcome, SolveStatus,
    SolverOptions,
};