# MINOTAUR

Welcome to the MINOTAUR wiki page.

## Introduction

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

 minimize $f(x,y)$ subject to $g_i(x,y) \leq 0 \,$ for $i = 1, ..., m \,$ $x \in X \; y \in Y$ integer

where $f(x,y), g_i(x,y)$ are smooth functions of the continuous variables $x$ and the integer variables <maths>y[/itex].