PDDL/PPDDL lexer for Pygments. Useful for highlighting PDDL in LaTeX via Minted.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool