In this article we will give a brief overview of the start-of-the-art on software for the solution of mixed integer nonlinear programs (MINLP). We establish several groupings with respect to various features and give concise individual descriptions for each solver.