choco.cp.solver.goals
Classes 
GlobalFail
GoalHelper
GoalSearchSolver
Sequence