The simple solver with logging example.
