kHighsCallbackDataOutCutpoolNumCutName

Constant kHighsCallbackDataOutCutpoolNumCutName 

Source
pub const kHighsCallbackDataOutCutpoolNumCutName: &[u8; 16] = b"cutpool_num_cut\0";