Updating the README.md with the Solver Methodology.