Searched defs:add_empty_clause (Results 1 – 4 of 4) sorted by relevance
82 add_empty_clause_fun_t add_empty_clause; member
4235 void add_empty_clause(smt_core_t *s) { in add_empty_clause() function
3316 static void add_empty_clause(sat_solver_t *solver) { in add_empty_clause() function
3684 static void add_empty_clause(sat_solver_t *solver) { in add_empty_clause() function