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