AI-Planning / AI-Planning/api-tools

Add a PDDL hash

オープン
#7 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る
enhancement help wanted
主要言語
Python
スター
14
フォーク
8
PR マージ指標
30日以内にマージされた PR はありません

説明

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

コントリビューションガイド

このリポジトリのコントリビューションガイドは索引されていません

評価

この issue はまだ評価されていません。

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。