Update README.md to give directions on how to run the solver