•All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Modules Pages
presol_inttobinary.h File Reference
Detailed Description
presolver that converts integer variables with domain [a,a+1] to binaries
This presolver converts all integer variables with domain [a,a+1] to binaries variables. This is done by creating a new binary variable y which will be aggregated to the old variable x such that
x = y + a
Definition in file presol_inttobinary.h.
Go to the source code of this file.
Functions | |
SCIP_RETCODE | SCIPincludePresolInttobinary (SCIP *scip) |