Searched refs:convertBinaryEquality (Results 1 – 1 of 1) sorted by relevance
9539 SCIP_RETCODE convertBinaryEquality( in convertBinaryEquality() function10545 SCIP_CALL( convertBinaryEquality(scip, cons, cutoff, naggrvars, ndelconss) ); in convertEquality()