Generic_branch_and_cut_solver.Solver