pub const MATRIX_FORMAT_NONE: HighsInt = 0;