package src.devoted for integer constraints. It contains all classical unary or binary integer constraints (equilities, inequalities, ...).