大型问题求解器