Scippy

SCIP

Solving Constraint Integer Programs

Benders' decomposition cut method

Detailed Description

methods and files provided by the default Benders' decomposition cut method of SCIP

A detailed description what a Benders' decomposition cut method does and how to add a Benders' decomposition cut method to SCIP can be found here.

Modules

 Inclusion methods
 methods to include specific Benders' decomposition cut methods into SCIP
 

Files

file  benderscut_feas.h
 Standard feasibility cuts for Benders' decomposition.
 
file  benderscut_int.h
 Generates a Laporte and Louveaux Benders' decomposition integer cut.
 
file  benderscut_nogood.h
 Generates a no-good cut for solutions that are integer infeasible.
 
file  benderscut_opt.h
 Generates a standard Benders' decomposition optimality cut.