Examples
- Nonconvex nonlinear: nlp1, nlp2
- Mixed-integer linear: milp1
- Mixed-integer nonlinear: minlp1
- Fractional 0-1: frac1
- Univariate polynomial: wilson
- Linear multiplicative: lmp1
- Separable concave quadratic: scqp1 scqp2
- Indefinite quadratic: iqp1
- Miscellaneous applications: pooling
