pub const CPXPARAM_Simplex_Refactor: u32 = 1031;