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