choco.palm.cbj.integer
Classes 
JumpBitSetIntDomain
JumpIntervalIntDomain
JumpIntVar