求解器选择问题