'Solvers' commands