Restricted Congruences in Computing