jump-dev / JuMP.jl Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)