Removed Solver.cpp code mistakenly added previously.