SCIP - Solving Constraint Integer Programs
A Julia/JuMP-based Global Optimization Solver for Non-convex Programs
A JuMP-based Nonlinear Integer Program Solver
An extensible MINLP solver