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