presol_inttobinary.h
Go to the documentation of this file.
30 * This presolver converts all integer variables with domain \f$[a,a+1]\f$ to binaries variables. This is done by
31 * creating a new binary variable \f$y\f$ which will be aggregated to the old variable \f$x\f$ such that
37 /*---+----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 SCIPincludePresolInttobinary(SCIP *scip)
Definition: presol_inttobinary.c:191
common defines and data types used in all packages of SCIP
Definition: objbenders.h:43