Zimpl

What is Zimpl

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

Where does it run?

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.


What's new in 3.3.1

Download

The latest Version is 3.3.1. 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 Seir Jensen there is Zimpl syntax highlightning for Emacs and Kate available.
Thanks to Hendrik Lüthen there is also Zimpl syntax highlightning for GtkSourceView (gEdit, medit, etc.).
Instructions how to compile using VisualStudio can be found in vsinstall-ziboptsuite-2.1.0.tgz.

Citation of Zimpl in publications

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

Bugs

If you find one (shouldn't be too difficult), it would be nice if you send a description or even better a working fix with a runnable example .zpl file to kochKlammeraffezib.de.


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:

AMPL, ILOG, GAMS, XPRESS-MP, AIMMS, LINDO,

Interesting sites

Decision Tree for Optimization Software
Opt-Net
Mathematical Programming Glossary© by Harvey J. Greenberg
INFORMS OR/MS Resource Collection
NEOS Server for Optimization

Valid XHTML 1.1! Valid CSS! Best viewed with any browser Graphics by GIMP 100% Microsoft Free Powered by PHP No ePatents The GNU Project

Last Update $Date: 2011/10/31 22:45:23 $ by Thorsten Koch
© 2009 by Thorsten Koch, Imprint