Two convenience functions on solvers.