ZIMPL

Zuse Institut Mathematical Programming Language

About

Zimpl is a little language to translate the mathematical model of a problem into a linear or nonlinear (mixed-) integer mathematical program expressed in .lp or .mps file format which can be read and (hopefully) solved by a LP or MIP solver.

News

27/Feb/2014 Version 3.3.2 released. Release Notes
25/Feb/2014 Website relaunched.

License

ZIMPL is distributed under the GNU LPG License. For more information see here.

Any publication for which ZIMPL is used must include an acknowledgment and a reference to the article:

Thorsten Koch,
Rapid Mathematical Programming,
Berlin 2004.

Here is the corresponding bibtex entry.

Platforms

Zimpl is a command line program written in plain C and released under GNU LGPL. It has been tested to compile under Linux/Intel, Solaris, Tru64, HPUX, IRIX, AIX and MacOS-X. Probably it will compile and run wherever GMP is available. Zimpl has even been successfully compiled for Windows using MinGW and the GCC as a cross compiler and also directly using VisualStudio 2010.

Bugs

If you find one, it would be nice if you send a description or even better a working fix with a runnable example .zpl file to Thorsten Koch.

Download

The latest Version is 3.3.2. Download complete source code and documentation.
There is also a Debian package maintained by Joachim Reichel.
Differences to the older versions are described in the Changelog.
Precompiled binaries are also available.
Thanks to Mathias Kinder and Thomas Sejr Jensen there is Zimpl syntax highlightning for Emacs and Kate available.
Thanks to Hendrik Lüthen there is also Zimpl syntax highlighting for GtkSourceView (gEdit, medit, etc.).

If you find Zimpl useful for your academic work, please cite my PhD thesis.
Here is the corresponding BibTeX entry. Thanks.

Solver

You need a solver for the problems generated by Zimpl.

SCIP is a solver for mixed integer programs which can be linked directly with Zimpl.
lp_solve is another solver which has an experimental integration of Zimpl.
SoPlex is a good simplex solver for pure linear programs (LP).

For other available solvers, see the Decision Tree for Optimization Software / LP-Software.

Links

Zimpl related:

TU Berlin, Lecture on Linear Optimization
TU Darmstadt, Lecture on Discrete Optimization
University Augsburg, Lecture on Optimization
University Bayreuth, Lecture on Diskrete Optimierung in Telekommunication, Logistic and Transport
University Bayreuth, Lecture on Linear Optimization
Matheon, Combinatorial Optimization at Work

The commercial ones:

AIMMS, AMPL, FICO XPRESS, GAMS, Gurobi, IBM ILOG CPLEX, LINDO, MOSEK

Interesting sites:

Decision Tree for Optimization Software
Mathematical Programming Glossary©
NEOS Server for Optimization
INFORMS OR/MS Resource Collection