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

//! Domain trait and built-in implementations.

pub mod bitset;
pub mod cost_finite;
pub mod finite;
pub mod lattice;
pub mod traits;

pub use bitset::BitsetDomain;
pub use cost_finite::CostFiniteDomain;
pub use finite::FiniteDomain;
pub use lattice::BitsetLatticeDomain;
pub use traits::{CostDomain, Domain, LatticeDomain};