sepa_disjunctive.h File Reference Detailed Descriptiondisjunctive cut separator We separate disjunctive cuts for two term disjunctions of the form . They can be generated directly from the simplex tableau. For further information, we refer to Cut coefficients belonging to integer variables can be strengthened by the 'monoidal cut strengthening' procedure, see Definition in file sepa_disjunctive.h. #include "scip/scip.h" Go to the source code of this file.
Function Documentation
creates the disjunctive cut separator and includes it in SCIP
|