A solver for systems of equations