Constant boolector_sys::BTOR_JUST_HEUR_BRANCH_LEFT

source · 
pub const BTOR_JUST_HEUR_BRANCH_LEFT: BtorOptJustHeur = 1;