A graphical system of congruences solver