Made the solvers read from a file