pub unsafe extern "C" fn SCIPaddVarCardinality(
scip: *mut SCIP,
cons: *mut SCIP_CONS,
var: *mut SCIP_VAR,
indvar: *mut SCIP_VAR,
weight: f64,
) -> SCIP_RETCODEExpand description
adds variable to cardinality constraint, the position is determined by the given weight