AI-Planning / AI-Planning/api-tools
Add a PDDL hash
Aberta
enhancement
help wanted
- Linguagem predominante
- Python
- Estrelas
- 14
- Forks
- 8
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Descrição
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).
Guia de contribuição
Nenhum guia de contribuição indexado para este repositório
Avaliação
Esta issue ainda não foi avaliada.