presol_gateextraction.h
Go to the documentation of this file.
31 /* This presolver tries to extract gate-constraints meaning and-constraints and set-partitioning constraints (and could
32 * be expanded to find xor-constraints too). This is done by detecting linearizations or systems of inequalities which
37 * and we also have the following set-packing constraints: (x + y <= 1 and x + z <= 1) <=> (~x + ~y >= 1 and ~x + ~z >= 1)
50 * We also do some check for logicor and set-packing/-partitioning constraint with the same variables to upgrade these
58 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
Definition: struct_scip.h:68
type definitions for return codes for SCIP methods
type definitions for SCIP's main datastructure
SCIP_RETCODE SCIPincludePresolGateextraction(SCIP *scip)
Definition: presol_gateextraction.c:1791
common defines and data types used in all packages of SCIP
Definition: objbenders.h:43