1 2 3 4 5 6 7
//! Constraint hypergraph network and AC-3 propagation engine. pub mod engine; pub mod graph; pub use engine::PropagationEngine; pub use graph::{ConstraintGraph, ConstraintId, ModelError, ValidatedGraph};