GitHub repository: AI-Planning/misc-pddl-generation-utilities
Primary language: JavaScript
Created: 2020-04-05T18:13:37Z
Description: Plugin to add a number of small utilities to the editor for generating PDDL.