pub unsafe extern "C" fn SCIPallowStrongDualReds(
scip: *mut SCIP,
) -> c_uintExpand description
returns whether strong dual reductions are allowed during propagation and presolving
@note A reduction is called strong dual, if it may discard feasible/optimal solutions, but leaves at least one optimal solution intact. Often such reductions are based on analyzing the objective function and variable locks.