Constant boolector_sys::BTOR_OPT_SORT_AIGVEC

source · 
pub const BTOR_OPT_SORT_AIGVEC: BtorOption = 78;