pumpkin-propagators 0.5.0

The propagators of the Pumpkin constraint programming solver.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//! Contains a number of propagators for a variety of arithmetic constraints.
pub(crate) mod absolute_value;
pub(crate) mod binary;
pub(crate) mod integer_division;
pub(crate) mod integer_multiplication;
pub(crate) mod linear_less_or_equal;
pub(crate) mod linear_not_equal;
pub(crate) mod maximum;

pub use absolute_value::*;
pub use binary::*;
pub use integer_division::*;
pub use integer_multiplication::*;
pub use linear_less_or_equal::*;
pub use linear_not_equal::*;
pub use maximum::*;