Reverse dependencies for congruence_solver

Latest version of the following gems require congruence_solver