Constant boolector_sys::BTOR_OPT_SORT_AIG

source · 
pub const BTOR_OPT_SORT_AIG: BtorOption = 77;