Constant boolector_sys::BTOR_OPT_SORT_EXP

source · 
pub const BTOR_OPT_SORT_EXP: BtorOption = 76;