GitHub repository: qxcv/pygments-ppddl-lexer
Primary language: Python
Created: 2019-07-30T23:27:30Z
Description: PDDL/PPDDL lexer for Pygments. Useful for highlighting PDDL in LaTeX via Minted.