recognize gurobi symbol, export set*solver