virtual void add_clause(unsigned n, literal* lits, status st) = 0; void add_clause(literal l1, literal l2, literal l3, status st) { literal lits[3] = {l1, l2, l3 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results