AI-Planning / AI-Planning/api-tools
Add a PDDL hash
Open
enhancement
help wanted
- Dominant language
- Python
- Stars
- 14
- Forks
- 8
- PR merge metrics
- No merged PRs in 30d
Description
If someone has a PDDL file, it would be useful to know if it already exists in the benchmark set. Maybe a hash of the string of the PDDL after normalizing? (strip whitespace, lower case, etc).
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.