Home
last modified time | relevance | path

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

/dports/math/cadical/cadical-1.0.3-cb89cbf/src/
H A Dcadical.hpp169 SOLVING = 16, // while solving (within 'solve') enumerator
/dports/math/vampire/vampire-4.5.1/Shell/
H A DStatistics.hpp408 SOLVING, enumerator