Added dtors to Solvers