Home
last modified time | relevance | path

Searched defs:add_empty_clause (Results 1 – 4 of 4) sorted by relevance

/dports/math/yices/yices-2.6.2/src/solvers/cdcl/
H A Ddelegate.h82 add_empty_clause_fun_t add_empty_clause; member
H A Dsmt_core.c4235 void add_empty_clause(smt_core_t *s) { in add_empty_clause() function
H A Dnew_sat_solver2.c3316 static void add_empty_clause(sat_solver_t *solver) { in add_empty_clause() function
H A Dnew_sat_solver.c3684 static void add_empty_clause(sat_solver_t *solver) { in add_empty_clause() function