Change other main functions to log using a provided function.
Implement Solver webservice.