Wrapper utils for Solvers