SPRAL_RANDOM_MATRIX_SORT

Constant SPRAL_RANDOM_MATRIX_SORT 

Source
pub const SPRAL_RANDOM_MATRIX_SORT: u32 = 4;