Document PDDL 3.1 feature support #20
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
There should be a documentation file that lists all PDDL 3.1 features and which ones are currently supported by
plasp
’s parser and translator (and, in the future, encodings/planner).