|
Dr. Ampl is an AMPL-based
optimization problem analyzer which may
be used either as a stand-alone tool or hooked to a server such as
NEOS. The
capabilities of this analyzer include classification of the
problem at hand, analysis of the objective and constraint
functions and their variables, the providing of upper and lower
bounds on the values of these functions over the feasible set and
assessment of convexity. Two antagonistic approaches are
considered for the latter point; namely a convexity disprover
and a convexity prover.
Eventually, we expect this analyzer to create a link between a
list of available solvers and the class of problems they treat
and provide aid in the choice of an appropriate solver for a
given problem.
Be sure to check the examples for
more details.
Dr. Ampl is open source
software distributed under the tems of the
GNU
Lesser General Public License.
|