Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/cdcl/
H A Dsmt_core.c584 #define BREAK_TIES 1 macro
592 #if BREAK_TIES in heap_cmp()