Constant boolector_sys::BTOR_JUST_HEUR_BRANCH_MIN_DEP

source · 
pub const BTOR_JUST_HEUR_BRANCH_MIN_DEP: BtorOptJustHeur = 3;