A package src.devoted to propagation over integer domain variables.