.pddl
1 claimant
1 primary
0 secondary
unambiguous primary
SWH popularity
From the SWH-MSR-ARV dataset (Desmazières, Di Cosmo, Lorentz, MSR 2025; file nb_extensions_alphanum.csv) — one row per (ext, year) in the full SWH archive. Case-aggregated. citation.
Case variants in archive: .pddl (1.2M), .PDDL (755) — aggregated above.
Claimants (2)
Languages that list .pddl among their extensions. Strength reflects whether the upstream source treated it as their primary extension.
| Language | Source | Strength |
| PDDL | linguist | primary |
| PDDL | pygments | primary |
SWH-mined examples (1)
Real archived programs with this extension, byte-verified against the SWH archive. Useful for deciding what this extension actually is when the attribution is uncertain.
swh:1:cnt:36a3bc76a53bb504930e67a7b0f9e38544d71fa7;origin=https://github.com/aibasel/downward-benchmarks;anchor=swh:1:rev:1262699e57c62c6fb1223cfb31116c2aaed5607d;path=/miconic-fulladl/f20-1.pddl