中科院软件所实习考虑吗？要求会整数规划建模，gurobi，cplex等求解器