(formula, daggify=True)
return res
Returns a Smt-Lib string representation of the formula.

    The daggify parameter can be used to switch from a linear-size
    representation that uses 'let' operators to represent the
    formula as a dag or a simpler (but possibly exponential)
    representation that expands the formula as a tree.

    See :py:class:`SmtPrinter`
Returns a Smt-Lib string representation of the formula.
Returns a Smt - Lib string representation of the formula .
def to_smtlib(formula, daggify=True):
    """Returns a Smt-Lib string representation of the formula.

    The daggify parameter can be used to switch from a linear-size
    representation that uses 'let' operators to represent the
    formula as a dag or a simpler (but possibly exponential)
    representation that expands the formula as a tree.

    See :py:class:`SmtPrinter`
    """
    buf = StringIO()
    p = None
    if daggify:
        p = SmtDagPrinter(buf)
    else:
        p = SmtPrinter(buf)
    p.printer(formula)
    res = buf.getvalue()
    buf.close()
    return res
def to_smtlib ( formula , daggify = True ) : buf = StringIO ( ) p = None if daggify : p = SmtDagPrinter ( buf ) else : p = SmtPrinter ( buf ) p . printer ( formula ) res = buf . getvalue ( ) buf . close ( ) return res