choco.cp.solver.search.integer.varselector.ratioselector
Interfaces 
IntVarRatioSelector
Classes 
AbstractIntVarRatioSelector
DomOverWDegSelector
MaxRatioSelector
MinRatioSelector
RandDomOverWDegSelector
RandMaxRatioSelector
RandMinRatioSelector