Constant cplex_rs_sys::CPX_PARAM_MIPINTERVAL

source · 
pub const CPX_PARAM_MIPINTERVAL: u32 = 2013;