Delete solver.erl