Delete solver.c