# MINOTAUR

From Minotaur

Welcome to the MINOTAUR wiki page.

## Introduction

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

minimize | ||

subject to | for | |

integer, |

where are smooth functions of the continuous variables and the integer variables .