pub unsafe extern "C" fn SCIPgetExprViolScoreNonlinear( expr: *mut SCIP_EXPR, ) -> f64
gives violation-branching score stored in expression, or 0.0 if no valid score has been stored