Update Generic Solver/generic-solver.cpp