AI-Planning / AI-Planning/api-tools
Add a PDDL hash
Abierto
enhancement
help wanted
- Lenguaje dominante
- Python
- Estrellas
- 14
- Forks
- 8
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
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).
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Evaluación
Este issue todavía no se ha evaluado.