Mixed integer nonlinear optimization deals with white box functions:

  • couenne

  • baron

  • scip

  • antigone

  • MINLP solvers like SHOT and MINOTAUR have implemented LP/NLP-based branch-and-bound using lazy constraints of CPLEX.

As opposed global optimization deals with black box functions.