added JuMP solvers