Constant highs_sys::kHighsCallbackMipInterrupt

source · 
pub const kHighsCallbackMipInterrupt: HighsInt = 5;