Skip to main content

kHighsPresolveStatusTimeout

Constant kHighsPresolveStatusTimeout 

Source
pub const kHighsPresolveStatusTimeout: HighsInt = 5;