Current list of available software on MATHPOST; just call from anywhere
options of the AMPL solvers may be retrieved through:   -=

ampl                ampl binary
scipampl            global MINLP solver with CPLEX and AMPL interface
scip.cpx            global MINLP solver with CPLEX and non-AMPL input
donlp2              local NLP solver with AMPL interface
ipopt               local NLP solver with AMPL interface
snopt               local NLP solver with AMPL interface
minos               local NLP solver with AMPL interface
cbc                 global MILP/MIQP solver with AMPL interface
cplex               local MIQCQP and global MIQP solver for non-AMPL input
cplexamp            CPLEX with AMPL interface
couenne             global MINLP solver with AMPL interface
bonmin              local MINLP solver with AMPL interface
filmint             local MINLP solver with AMPL interface