SymSolver-v1.0