Rename solver.c to Solver.c