All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
presol_implics.h File Reference Detailed Descriptionimplication graph presolver which checks for aggregations This presolver looks for variable implications in and with the same implied variable. There are four possible cases:
Definition in file presol_implics.h. #include "scip/scip.h" Go to the source code of this file.
Function Documentation
creates the implics presolver and includes it in SCIP
|