A package src.devoted to constraints over integers.