DrAmpl: A meta solver for optimization problem analysis

R. Fourer, Dominique Orban*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

8 Scopus citations


Optimization problems modeled in the AMPL modeling language (Fourer et al., in AMPL: a modeling language for mathematical programming, 2002) may be examined by a set of tools found in the AMPL Solver Library (Gay, in Hooking your solver to AMPL, 1997). DrAmpl is a meta solver which, by use of the AMPL Solver Library, dissects such optimization problems, obtains statistics on their data, is able to symbolically prove or numerically disprove convexity of the functions involved and provides aid in the decision for an appropriate solver. A problem is associated with a number of relevant solvers available on the NEOS Server for Optimization (Czyzyk et al., in IEEE J Comput Sci Eng 5:68-75, 1998) by means of a relational database. We describe the need for such a tool, the design of DrAmpl and some of its consequences, and keep in mind that a similar tool could be developed for other algebraic modeling languages.

Original languageEnglish (US)
Pages (from-to)437-463
Number of pages27
JournalComputational Management Science
Issue number4
StatePublished - 2010


  • AMPL modeling language
  • Convexity assessment
  • Directed acyclic graph
  • Optimization model
  • Solver recommendation
  • Structural model analysis

ASJC Scopus subject areas

  • Business, Management and Accounting (miscellaneous)
  • Management Information Systems
  • Statistics, Probability and Uncertainty
  • Management Science and Operations Research


Dive into the research topics of 'DrAmpl: A meta solver for optimization problem analysis'. Together they form a unique fingerprint.

Cite this