AMPL是一个全面而强大的线性和非线性优化问题，在离散或连续的变量代数建模语言。 在贝尔实验室开发的，AMPL，您可以使用常见的符号和熟悉的概念，制定最优化模型，并研究解决，而计算机管理通信与相应的解算器。 AMPL的灵活性和便利性使其非常适合快速原型和模型的开发，而它的速度和控制选项，重复生产运行的一个特别有效的选择。
AMPL A Mathematical Programming Language 2014x | 5 MB
AMPL is a comprehensive and powerful algebraic modeling language for linear and nonlinear optimization problems, in discrete or continuous variables. Developed at Bell Laboratories, AMPL lets you use common notation and familiar concepts to formulate optimization models and examine solutions, while the computer manages communication with an appropriate solver. AMPL's flexibility and convenience render it ideal for rapid prototyping and model development, while its speed and control options make it an especially efficient choice for repeated production runs.
Key modeling language features
Broad support for sets and set operators. AMPL models can use sets of pairs, triples, and longer tuples; collections of sets indexed over sets; unordered, ordered, and circular sets of objects; and sets of numbers.
General and natural syntax for arithmetic, logical, and conditional expressions; familiar conventions for summations and other iterated operators.
Nonlinear programming features such as initial primal and dual values, user-defined functions, fast automatic differentiation, and automatic elimination of "defined" variables.
Convenient alternative notations including node and arc declarations for network problems, a special syntax for piecewise-linear functions, and columnwise specification of linear coefficients.
Key modeling environment features
Interactive command environment with batch processing options. Powerful display commands let you view any model component or expression, browsing on-screen or writing to a file, using automatic formatting or your own preferences.
New looping and if-then-else commands. Simple programs in the AMPL command language can now be written to solve sequences of related problems, for sensitivity analysis and for decomposition or other iterative schemes.
Separation of model and data. AMPL models remain concise even as sets and data tables grow. Models may incorporate many kinds of conditions for validity of the data.
Interfaces to popular and sophisticated solvers including CONOPT, CPLEX, LAMPS, LANCELOT, LOQO, LSGRG, MINOS, OSL, SNOPT, and XA.
Home Page - http://www.ampl.com/