Welcome to the MINOTAUR wiki page.

MINOTAUR is a toolkit for solving mixed-integer nonlinear optimization problems of the form

where are smooth functions of the continuous variables and the integer variables <maths>y</math>.