Searched defs:add_clause_outer (Results 1 – 2 of 2) sorted by relevance
3116 bool Solver::add_clause_outer(const vector<Lit>& lits, bool red) in add_clause_outer() function in Solver