AI-Planning / AI-Planning/api-tools
Add a PDDL hash
Offen
enhancement
help wanted
- Vorherrschende Sprache
- Python
- Sterne
- 14
- Forks
- 8
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
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).
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.