Home
last modified time | relevance | path

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

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dlp.c14937 SCIP_Bool checkfarkas; in SCIPlpGetDualfarkas() local
14963 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()
/dports/math/SCIP/scip-7.0.3/
H A DCHANGELOG1145 - `lp/checkfarkas` that enables the check of infeasibility proofs from the LP