Generic_branch_and_cut_solver
.
Solver