My AMPL page

AMPL is a mathematical programming system supporting linear programming, nonlinear programming, and (mixed) integer programming. From the site:
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.

See also

Note: In 2007/2008 I wrote quite a few AMPL models without the logic/CP extension. See My AMPL models (non CP) below for a listing of these non CP models.

In 2013 I tested this logical/CP extensions much more. It requires either gecode or ilogcp solvers; see the AMPL page "Logic" and Constraint Programming Extensions for details. These models are listed in My AMPL+CP models just below.

My AMPL+CP models

April/May 2013: Here is a list of AMPL models which use the "Logic" and Constraint Programming Extensions to AMPL. I have mostly tested the Gecode CP solver in AMPL, but also the IBM ILOG CP ilogcp solver. See code.google.com/p/ampl/ for gecode executables (to be used as an AMPL solver) and github.com/vitaut/ampl for source code. Also some models not using any logic/CP extensions was made and they are marked as "not CP". Many of these models has been ported from my MiniZinc models.

My AMPL models (non CP)

Here are some of my AMPL models, many where written in autumn 2007 or spring 2008 when I studied (privatly) Operational Research and LP/MIP (after that I mostly used Constraint Programming systems such as MiniZinc for solve these kind of problems). Quite a few models are translations of Martin Chlond's models Integer Programming in Recreational Mathematics. Please note that many of these models do not use the newer Constraint Programming support in AMPL. See My AMPL+CP models above for this.

Also, see my other pages about Constraint Programming systems:
* My Constraint Programming Blog
* Constraint Programming
* Common constraint programming problems
* My MiniZinc page
* My Zinc page
* My JaCoP page
* My JaCoP/Scala page
* My Choco page
* My Gecode/R page
* My Comet page
* My Gecode page
* My ECLiPSe page
* My Tailor/Essence' page
* My SICStus Prolog page
* My Google CP Solver page
* My OscaR page
* My JSR-331 page
* My Numberjack page
* My AIMMS+CP page
* My B-Prolog page
* My Choco3 page
* My Picat page
* My z3/python page
* My SWI-Prolog page

Back to my homepage
Created by Hakan Kjellerstrand hakank@gmail.com