choco.cp.solver.search.restart
Interfaces 
IKickRestart
Classes 
AbstractKickRestart
BasicKickRestart
NogoodKickRestart