The simple solver with performance debugging example.
