Add virtual deconstructor for solver.