Skip to main content

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;
9mod extended;
10pub mod id;
11mod nogood;
12mod propagator;
13mod reason;
14mod status;
15
16pub use context::PropagationContext;
17pub use domain::{Domain, DomainView};
18pub use error::PropagaError;
19pub use extended::{ExtendedPropagationContext, FloatDomainSnapshot, SetDomainSnapshot};
20pub use id::{PropagatorId, PropagatorKey, VariableId, VariableKey};
21pub use nogood::{Nogood, NogoodLiteral};
22pub use propagator::Propagator;
23pub use reason::{BoundKind, ChangeReason, Explanation};
24pub use status::PropagationStatus;