The simple solver example.
