pumpkin-propagators 0.5.0

The propagators of the Pumpkin constraint programming solver.
Documentation
1
2
3
4
5
6
7
8
9
mod checker;
mod constructor;
mod explainer;
mod propagator;
mod shared;

pub use checker::IntegerMultiplicationChecker;
pub use constructor::IntegerMultiplicationConstructor;
pub use propagator::IntegerMultiplicationPropagator;