This package src.contains classes for integer-based objects (integer constraints, variables, explanations). For sake of clarity, constraints and explanations are contined in "sub packages".