Seol mar théacs é seo: Nonlinear and mixed-integer optimization