choco.integer.search
Interfaces 
IIntVarSelector
IValIterator
IValSelector
Classes 
AbstractIntVarSelector
DecreasingDomain
DomOverDeg
IncreasingDomain
MaxVal
MidVal
MinDomain
MinVal
MostConstrained
RandomIntValSelector
RandomIntVarSelector
StaticVarOrder