MultiSolver is a prototype of symbolic constraint solving system developed from the original constraint-solving subsystem of the termination tool mu-term. MultiSolver integrates multiple solvers coming from several approaches.