Searched refs:addNegatedCliques (Results 1 – 1 of 1) sorted by relevance
10888 SCIP_RETCODE addNegatedCliques( in addNegatedCliques() function11302 SCIP_CALL( addNegatedCliques(scip, cons, cutoff, nbdchgs ) ); in addCliques()