A solver for mixed-integer nonlinear optimization problems - View it on GitHub