The Uno (Unifying Nonlinear Optimization) solver