choco.kernel.solver.propagation
Interfaces
PropagationEngine
Classes
Propagator
ShavingTools