Searched defs:SCIP_STAGE_SOLVING (Results 1 – 2 of 2) sorted by relevance
44 SCIP_STAGE_SOLVING = 9, /**< the problem is being solved */ enumerator
90 NODELIMIT = SCIP_STATUS_NODELIMIT