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