covered include algorithms for solving convex, network, mixed-integer, nonlinear, and