choco.kernel.model.variables.integer
Classes 
IntegerConstantVariable
IntegerExpressionVariable
IntegerVariable
MetaIntegerExpressionVariable