Searched refs:add_binary_clause_fun_t (Results 1 – 1 of 1) sorted by relevance
64 typedef void (*add_binary_clause_fun_t)(void *solver, literal_t l1, literal_t l2); typedef84 add_binary_clause_fun_t add_binary_clause;