warm_start_slack_bound_push:

same as slack_bound_push for the regular initializer. $ \;$
The valid range for this real option is $ 0 < {\tt warm\_start\_slack\_bound\_push } < {\tt +inf}$ and its default value is $ 0.001$.



Andreas Waechter 2010-12-22