(self, expr)
Convert an expression of the Solver into a PySMT term.
Convert an expression of the Solver into a PySMT term.
Convert an expression of the Solver into a PySMT term .
def back(self, expr):
        """Convert an expression of the Solver into a PySMT term."""
        raise NotImplementedError
def back ( self , expr ) : raise NotImplementedError