TE : Sequence Solver