1. VAL¶

https://github.com/jan-dolejsi/vscode-pddl/wiki/Configuring-the-PDDL-planner 源码 https://github.com/KCL-Planning/VAL 源码

http://solver.planning.domains/solve

VScode插件 PDDL验证文件

插件pddl parser c:\Users\HUMAN\AppData\Roaming\Code\User\globalStorage\jan-dolejsi.pddl\val\Val-20210120.1-win64\bin\Parser.exe

https://github.com/jan-dolejsi/vscode-pddl/wiki/Configuring-the-PDDL-parser

插件验证器

c:\Users\HUMAN\AppData\Roaming\Code\User\globalStorage\jan-dolejsi.pddl\val\Val-20210120.1-win64\bin\Validate.exe