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 by a LP or MIP solver.

Where does is run?

Zimpl is a command line program written in plain C and released under GNU GPL. It has been tested to compile under Linux/Intel, Solaris, Tru64, HPUX and AIX. 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.

What's new in 2.01

• Zimpl can automatically generate IP's for if constructs involving variables and computing the absolute value of variables.
• Zimpl now uses rational arithmetic. So it needs more memory and is slower.
• Preprocessing is now implemented, but not yet tested.
• Numerous bug fixes and enhancements.

Download

The latest Version is 2.01. Download complete source code and documentation.
Differences to the older versions are described in the Changelog.
Precompiled binaries are also available.

Bugs

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

Solver

Links

Zimpl related:

TU-Berlin, Lecture on Linear Optimization

TU-Darmstadt, Lecture on Discrete Optimization

University Augsburg, Lecture on Optimization

The commercial ones:

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

Interesting sites

Decision Tree for Optimization Software

The electronical library for mathematical software (eLib)

Opt-Net

Mathematical Programming Glossary© by Harvey J. Greenberg

INFORMS OR/MS Resource Collection

NEOS Server for Optimization