Skip to main content

HIGHS_GITHASH

Constant HIGHS_GITHASH 

Source
pub const HIGHS_GITHASH: &[u8; 4] = b"n/a\0";