kdrag.printers.prolog.to_clause

kdrag.printers.prolog.to_clause(e: BoolRef) → str

>>> x,y = smt.Ints("x y")
>>> to_clause(smt.ForAll([x, y], smt.Or(x == y, x + 1 <= y)))
 '((X = Y) ; ((X + 1) #=< Y)).'