csp-solver 0.1.0

Generic constraint satisfaction problem solver with backtracking, AC-3 constraint propagation, and ordering heuristics.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

//! Constraint trait, built-in implementations, and devirtualized dispatch.

pub mod all_different;
pub mod all_different_except;
pub mod cardinality;
pub mod dispatch;
pub mod implication;
pub mod lambda;
pub mod not_equal;
pub mod soft;
pub mod traits;

pub use all_different::AllDifferent;
pub use all_different_except::AllDifferentExcept;
pub use cardinality::CardinalityConstraint;
pub use dispatch::ConstraintEnum;
pub use implication::ImplicationConstraint;
pub use lambda::LambdaConstraint;
pub use not_equal::NotEqual;
pub use soft::SoftLambdaConstraint;
pub use traits::{Constraint, Revision, SoftConstraint, VarId};