Constant boolector_sys::BTOR_JUST_HEUR_BRANCH_MIN_APP

source · 
pub const BTOR_JUST_HEUR_BRANCH_MIN_APP: BtorOptJustHeur = 2;