deleted old solver.cpp