presol_convertinttobin.h File Reference
Detailed Description
presolver that converts integer variables with domain [a,a+1] to binaries
Definition in file presol_convertinttobin.h.
Go to the source code of this file.
Functions | |
SCIP_RETCODE | SCIPincludePresolConvertinttobin (SCIP *scip) |