A package devoted to propagation over integer domain variables.