Update Generic Solver/generic-solver.h