Home
last modified time | relevance | path

Searched defs:usenegatedclique (Results 1 – 2 of 2) sorted by relevance

/dports/math/SCIP/scip-7.0.3/src/scip/
H A Dcons_logicor.c118 …SCIP_Bool usenegatedclique; /**< should negated clique information be used in presol… member
H A Dcons_knapsack.c6981SCIP_Bool usenegatedclique /**< should negated or normal clique partition be used */ in stableSort()
7317 SCIP_Bool usenegatedclique /**< should negated clique information be used */ in propagateCons()