Zuse Institut Mathematical Programming Language


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.


01/Jul/2015 Version 3.3.3 released. Release Notes
27/Feb/2014 Version 3.3.2 released. Release Notes
25/Feb/2014 Website relaunched.


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.


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.


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.


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 highlighting for Emacs and Kate available.
Thanks to Hendrik Lüthen there is also Zimpl syntax highlighting for GtkSourceView (gEdit, medit, etc.).
Thanks to Parham Alvani and Bahador Bakhshi, there is Zimpl syntax highlighting for vim available from Parham's GitHub repository.

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


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.


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:


Interesting sites:

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