Searched defs:getNewClauses (Results 1 – 1 of 1) sorted by relevance
| /dports/math/cvc3/cvc3-2.4.1/src/search/ | ||
| H A D | search_sat.cpp | 87 bool getNewClauses(CNF_Formula& cnf) { return d_ss->getNewClauses(cnf); } in getNewClauses() function in CVC3::SearchSatTheoryAPI |