ANTIGONE (Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations), is a deterministic global optimization solver for general Mixed-Integer Nonlinear Programs (MINLP).
[1] ANTIGONE is an evolution of GloMIQO,[2] a global Mixed-Integer Quadratic Programming solver written by Ruth Misener.
Like all deterministic global optimization software, ANTIGONE is a toolbox of many techniques in order to tackle different special cases of nonlinear structure.
Its main algorithmic procedure is split into 4 main steps:[3] With the exception of special cases of optimization problems (for instance convex NLPs) which can be solved at the root node of the branch-and-bound algorithm, ANTIGONE will initiate a branch and bound procedure.
Like all deterministic global optimization software, ANTIGONE requires the user to provide the explicit mathematical expressions for all the functions used in the problem, as well as initial bounds for all variables.