(formula, daggify=True)
return pysmt.smtlib.printers.to_smtlib(formula, daggify=daggify)
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`
    """
    return pysmt.smtlib.printers.to_smtlib(formula, daggify=daggify)
def to_smtlib ( formula , daggify = True ) : return pysmt . smtlib . printers . to_smtlib ( formula , daggify = daggify )