SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
|
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
presol_inttobinary.h File Reference Detailed Descriptionpresolver that converts integer variables with domain [a,a+1] to binaries This presolver converts all integer variables with domain
Definition in file presol_inttobinary.h. #include "scip/scip.h"Go to the source code of this file.
Function Documentation
creates the inttobinary presolver and includes it in SCIP
|
|||||||||||||||
![$[a,a+1]$](form_148.png)
to binaries variables. This is done by creating a new binary variable 
which will be aggregated to the old variable 
such that ![\[ x = y + a \]](form_141.png)