kHighsCallbackDataOutCutpoolIndexName

Constant kHighsCallbackDataOutCutpoolIndexName 

Source
pub const kHighsCallbackDataOutCutpoolIndexName: &[u8; 14] = b"cutpool_index\0";