精确求解器