The Congruence Engine