choco.palm
Interfaces 
ExplainedConstraintPlugin
ExplainedDomain
ExplainedProblem
ExplainedVar
Explanation
PalmConstraint
PalmVarListener
Classes 
BendersProblem
JumpProblem
PalmProblem