(self, formulas)
Returns a sequence interpolant for the conjunction of formulas, or
        None if the problem is satisfiable.
Returns a sequence interpolant for the conjunction of formulas, or
        None if the problem is satisfiable.
Returns a sequence interpolant for the conjunction of formulas or None if the problem is satisfiable .
def sequence_interpolant(self, formulas):
        """Returns a sequence interpolant for the conjunction of formulas, or
        None if the problem is satisfiable.

        """
        raise NotImplementedError
def sequence_interpolant ( self , formulas ) : raise NotImplementedError