A Julia package for disciplined convex programming

Package to call the NLopt nonlinear-optimization library from the Julia language

Julia interface to the Ipopt nonlinear solver

Julia interface to COIN-OR Optimization Services https://projects.coin-or.org/OS

Julia wrapper for the BARON mixed-integer nonlinear programming solver

MathProgBase wrapper to solve conic optimization problems with derivative-based nonlinear solvers

Nonlinear SMT solving using dReal

-