Zimpl is a programming language created in 2004.

#1885on PLDB | 20Years Old | 60Repos |

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.

- Tags: programming language
- There are at least 60 Zimpl repos on GitHub
- The Google BigQuery Public Dataset GitHub snapshot shows 34 users using Zimpl in 37 repos on GitHub

Example from the web:

```
# $Id: queens3.zpl,v 1.3 2009/09/13 16:15:53 bzfkocht Exp $
#
# This is a formulation of the n queens problem using binary variables.
# variables. Since the number of queens is maximized, the size of the
# board can be set arbitrarily.
#
param columns := 8;
set I := { 1 .. columns };
set IxI := I * I;
set TABU[<i,j> in IxI] := { <m,n> in IxI with
(m != i or n != j) and (m == i or n == j or abs(m - i) == abs(n - j)) };
var x[IxI] binary;
maximize queens: sum <i,j> in IxI : x[i,j];
subto c1: forall <i,j> in IxI do
card(TABU[i,j]) - card(TABU[i,j]) * x[i,j] >= sum <m,n> in TABU[i,j] : x[m,n];
```

Feature | Supported | Example | Token |
---|---|---|---|

Comments | âœ“ | # A comment | |

Line Comments | âœ“ | # A comment | # |

Semantic Indentation | X |