Searched refs:checkfarkas (Results 1 – 2 of 2) sorted by relevance
14937 SCIP_Bool checkfarkas; in SCIPlpGetDualfarkas() local14963 checkfarkas = (set->lp_checkfarkas && valid != NULL); in SCIPlpGetDualfarkas()14968 if( checkfarkas ) in SCIPlpGetDualfarkas()14993 if( checkfarkas ) in SCIPlpGetDualfarkas()15059 if( checkfarkas ) in SCIPlpGetDualfarkas()15080 …if( checkfarkas && (SCIPsetIsInfinity(set, REALABS(farkaslhs)) || SCIPsetIsGE(set, maxactivity, fa… in SCIPlpGetDualfarkas()15090 if( checkfarkas ) in SCIPlpGetDualfarkas()
1145 - `lp/checkfarkas` that enables the check of infeasibility proofs from the LP