Searched refs:presolveApplyImplications (Results 1 – 1 of 1) sorted by relevance
4917 SCIP_RETCODE presolveApplyImplications( in presolveApplyImplications() function13139 SCIP_CALL( presolveApplyImplications(scip, conss[c], &nbilinremoved) ); in SCIP_DECL_CONSPRESOL()