Dr. Ampl — a meta solver for optimization

Home
News
Optimization
What
How
Examples
FAQ
Benchmarks
Installation
Documentation
Mailing list
Project page
Download
To do
Links
Who

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.