GitHub repository: patrikhaslum/INVAL
Primary language: Common Lisp
Created: 2016-12-05T23:16:33Z
Description: The INVAL plan validator, and other PDDL tools.