presol_gateextraction.h
Go to the documentation of this file.
22 /* This presolver tries to extract gate-constraints meaning and-constraints and set-partitioning constraints (and could 23 * be expanded to find xor-constraints too). This is done by detecting linearizations or systems of inequalities which 28 * and we also have the following set-packing constraints: (x + y <= 1 and x + z <= 1) <=> (~x + ~y >= 1 and ~x + ~z >= 1) 41 * We also do some check for logicor and set-packing/-partitioning constraint with the same variables to upgrade these 49 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/ SCIP_RETCODE SCIPincludePresolGateextraction(SCIP *scip) Definition: objbranchrule.h:33 SCIP callable library. |