Support for verbose solvers.