Provides an example

README.md now provides a solver example.