pub unsafe extern "C" fn SCIPchgCardvalCardinality(
scip: *mut SCIP,
cons: *mut SCIP_CONS,
cardval: c_int,
) -> SCIP_RETCODEExpand description
changes cardinality value of cardinality constraint (i.e., right hand side of cardinality constraint)