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