Zimpl

Zimpl is a programming language created in 2004.

#1279on 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.

Zimpl website
There are at least 60 Zimpl repos on GitHub
file extensions for Zimpl include zimpl, zmpl and zpl
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	Token	Example
Comments	✓		# A comment
Line Comments	✓	#	# A comment
Semantic Indentation	X

Zimpl - Programming language

Language features