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.
|SCIP_RETCODE||SCIPincludePresolInttobinary (SCIP *scip)|