Searched refs:simple_create_learnt_clause (Results 1 – 6 of 6) sorted by relevance
341 solver->simple_create_learnt_clause(confl, lits, True_confl); in try_distill_clause_and_return_new()
168 void simple_create_learnt_clause(
657 void Searcher::simple_create_learnt_clause( in simple_create_learnt_clause() function in Searcher