pub unsafe extern "C" fn SCIPaddExprsViolScoreNonlinear(
scip: *mut SCIP,
exprs: *mut *mut SCIP_EXPR,
nexprs: c_int,
violscore: f64,
sol: *mut SCIP_SOL,
success: *mut c_uint,
) -> SCIP_RETCODEExpand description
adds violation-branching score to a set of expressions, distributing the score among all the expressions
Each expression must either be a variable expression or have an aux-variable.
If branching on aux-variables is disabled, then the violation branching score will be distributed among all
variables present in exprs.