choco.prop
Interfaces 
ConstraintPlugin
EventQueue
PropagationEngine
PropagationEvent
VarEventListener
Classes 
AbstractPropagationEngine
ChocEngine
ConstraintEvent
ConstraintEventQueue
VarEvent
VarEventQueue