选择求解器版本