All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
presol_convertinttobin.h File Reference Detailed Descriptionpresolver that converts integer variables with domain [a,a+1] to binaries Definition in file presol_convertinttobin.h. #include "scip/scip.h" Go to the source code of this file.
Function Documentation
creates the convertinttobin presolver and includes it in SCIP
|