(self, formula)
Convert a PySMT formula into a Solver term.
Convert a PySMT formula into a Solver term.
Convert a PySMT formula into a Solver term .
def convert(self, formula):
        """Convert a PySMT formula into a Solver term."""
        raise NotImplementedError
def convert ( self , formula ) : raise NotImplementedError