Software for Nonlinearly Constrained Optimization