propaga_core/lib.rs
1//! Core types and traits for the Propaga constraint solver.
2//!
3//! This crate defines variables, domains, propagators, explanations, nogoods,
4//! and the propagation context used by the engine and search layers.
5
6mod context;
7mod domain;
8mod error;
9pub mod id;
10mod nogood;
11mod propagator;
12mod reason;
13mod status;
14
15pub use context::PropagationContext;
16pub use domain::{Domain, DomainView};
17pub use error::PropagaError;
18pub use id::{PropagatorId, PropagatorKey, VariableId, VariableKey};
19pub use nogood::{Nogood, NogoodLiteral};
20pub use propagator::Propagator;
21pub use reason::{BoundKind, ChangeReason, Explanation};
22pub use status::PropagationStatus;