Expand description
Contains the implementations of Propagators.
Modulesยง
- arithmetic
- Contains a number of propagators for a variety of arithmetic constraints.
- cumulative
- Contains the propagators for the Cumulative constraint.
- disjunctive
- Contains the propagator for the Disjunctive constraint.
- element
- Contains the propagator for the Element constraint.