Constant boolector_sys::BTOR_OPT_FUN_DUAL_PROP_QSORT

source · 
pub const BTOR_OPT_FUN_DUAL_PROP_QSORT: BtorOption = 28;