Searched defs:add_iff (Results 1 – 2 of 2) sorted by relevance
149 void cut_simplifier::add_iff(literal head, literal l1, literal l2) { in add_iff() function in sat::cut_simplifier