Constant boolector_sys::BTOR_DP_QSORT_DESC

source · 
pub const BTOR_DP_QSORT_DESC: BtorOptDPQsort = 3;