Constant boolector_sys::BTOR_DP_QSORT_JUST

source · 
pub const BTOR_DP_QSORT_JUST: BtorOptDPQsort = 1;