Some updates to the solver interface.