Searched defs:SCIP_PARAMEMPHASIS_PHASEPROOF (Results 1 – 2 of 2) sorted by relevance
71 …SCIP_PARAMEMPHASIS_PHASEPROOF = 9, /**< proof phase settings during 3-phase solving approa… enumerator
134 cdef class PY_SCIP_PROPTIMING:135 BEFORELP = SCIP_PROPTIMING_BEFORELP