Added explanation to run solver in README.md.