SCIP_EXPRPRINT_ACTIVITYTAG

Constant SCIP_EXPRPRINT_ACTIVITYTAG 

Source
pub const SCIP_EXPRPRINT_ACTIVITYTAG: u32 = 96;