kHighsCallbackDataOutCutpoolStartName

Constant kHighsCallbackDataOutCutpoolStartName 

Source
pub const kHighsCallbackDataOutCutpoolStartName: &[u8; 14] = b"cutpool_start\0";