Zimpl
1 program
Added 2026-02-05T23:04:10Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: Zuse Institute Mathematical Programming Language
Provenance: commit 2e7cc9264c · authored 2026-02-06T00:04:40+01:00 · agent claude-code · model sonnet
Sources mentioning this language
4 sources · pl_id:
pl/zimplExtensions claimed by this language
3 claims. Each row is one upstream assertion with its strength.
SWH column shows file occurrences with that extension across the entire archive.| Extension | Source | Strength | SWH |
|---|---|---|---|
.zimpl | linguist | primary | 24 files |
.zmpl | linguist | secondary | 15 files |
.zpl | linguist | secondary | 10.2K files |
Related languages
LLM-contributed programs
Simple Knapsack Problem
Provenance: commit 2e7cc9264c · authored 2026-02-06T00:04:40+01:00 · agent claude-code · model sonnet · WebSearch disabled
# Simple Knapsack Problem in Zimpl
set Items := { "item1", "item2", "item3" };
param weight[Items] := <"item1"> 10, <"item2"> 20, <"item3"> 30;
param value[Items] := <"item1"> 60, <"item2"> 100, <"item3"> 120;
param capacity := 50;
var x[Items] binary;
maximize profit: sum <i> in Items: value[i] * x[i];
subto weight_limit: sum <i> in Items: weight[i] * x[i] <= capacity;Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)