PL Catalog
Home · Browse · UVL

UVL

1 program Added 2026-03-17T10:00:00Z Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled Evidence Report issue View issues
Aliases: Universal Variability Language
Provenance: commit a15b8efcae · authored 2026-03-17T05:58:06+01:00 · agent claude-code · model claude-sonnet-4-6

Sources mentioning this language

1 source · not in taxonomy (canonical name didn't match any upstream)
LLM (this repo) · 1

Related languages

UNCOL (0.34)URCL (0.30)UFL (0.26)UQL (0.24)OVAL (0.23)

LLM-contributed programs

Sandwich Feature Model

Origin · Download · manifest.json · Report
Provenance: commit a15b8efcae · authored 2026-03-17T05:58:06+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
code.uvl · added: 2026-03-17T10:00:00Z
features
    Sandwich
        mandatory
            Bread
                alternative
                    WheatBread
                    WhiteBread
                    RyeBread
            Filling
                or
                    Cheese
                    Ham
                    Vegetables
        optional
            Condiments
                or
                    Mustard
                    Mayonnaise
            Toasted

constraints
    Ham => !Cheese
    Toasted => WheatBread | RyeBread

Contribute — propose a file extension

Tell us where to find evidence about UVL (mapped to pl/uvl). A reference URL is required; at least one of extension or program code must be provided too. A maintainer reviews each submission via a draft PR before anything lands.
Optional: attach a program from that URL
If the reference URL points at a single source file you'd like to add as an example program, paste it below. The workflow will write it under languages/UVL/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← uuid UWSC →