kHighsOptionTypeInt

Constant kHighsOptionTypeInt 

Source
pub const kHighsOptionTypeInt: HighsInt = 1;