AI-Planning / AI-Planning/api-tools

Add a PDDL hash

Aperta
#7 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub
enhancement help wanted
Lingua principale
Python
Stelle
14
Fork
8
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

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).

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.