Fixed solver entering infinite loop.
Update README.md
Merging after editing README on github.