pub unsafe extern "C" fn SCIPappendVarCardinality( scip: *mut SCIP, cons: *mut SCIP_CONS, var: *mut SCIP_VAR, indvar: *mut SCIP_VAR, ) -> SCIP_RETCODE
appends variable to cardinality constraint