fixing roundable variables to best bound
This propagator fixes variables, that have no restrictions in direction of their objective coefficient, to the best possible value. If the objective coefficient of a variable is \(0\) and it may be rounded both up and down, then this variable will be fixed to the closest feasible value to \(0\).
Definition in file prop_dualfix.h.
|SCIP_RETCODE||SCIPincludePropDualfix (SCIP *scip)|