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*/
common defines and data types used in all packages of SCIP
SCIP_RETCODE SCIPincludePresolInttobinary(SCIP *scip)
Definition: presol_inttobinary.c:191
Definition: objbenders.h:44
Definition: struct_scip.h:70
type definitions for return codes for SCIP methods
type definitions for SCIP's main datastructure