pub unsafe extern "C" fn SCIPgetNVarsCardinality( scip: *mut SCIP, cons: *mut SCIP_CONS, ) -> c_int
gets number of variables in cardinality constraint