TP_Solver