A package devoted to constraints over integers.