Delete solver.cpp~