Home
last modified time | relevance | path

Searched refs:findAggregation (Results 1 – 1 of 1) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dcons_pseudoboolean.c7116 SCIP_RETCODE findAggregation( in findAggregation() function
8500 SCIP_CALL( findAggregation(scip, cons, conshdlrdata, ndelconss, naggrvars, &cutoff) ); in SCIP_DECL_CONSPRESOL()