-
Notifications
You must be signed in to change notification settings - Fork 4.3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add PDDL #6117
Add PDDL #6117
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
See inline comment.
We also don't need quite so many nearly identical samples, not the large ones. Please remove the samples that are collapsed in the diff (clear indicator they're too big) and pick the most diverse two or three of the remaining samples and remove the others.
Co-authored-by: Colin Seymour <colin@github.com>
Thank you, I have applied the suggestions now. Please let me know if there is anything else. |
Running |
Description
Adds support for PDDL.
Checklist: