choco.cp.solver.propagation
Classes 
AbstractPropagationEngine
BlockingVarEventQueue
ChocoEngine
ConstraintEventQueue
ObservableVarEventQueue
VariableEventQueue