# MINOTAUR

From Minotaur

(Redirected from Main Page)

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 .