Searched defs:find_maj (Results 1 – 2 of 2) sorted by relevance
238 void npn3_finder::find_maj(clause_vector& clauses) { in find_maj() function in sat::npn3_finder