Solver机制