Deleting smart_solver