Closed bonetblai closed 1 year ago
Sure. That will be great!
Thanks!
Blai
On Mar 22, 2023, at 3:49 AM, Jendrik Seipp @.***> wrote:
Thanks Blai, looks great! But shouldn't we add this in a new "mini-grid" directory to avoid confusion with the old grid generators that have a different kind of goal? It would also make the new mini-grid generator more visible, I think. If you agree, I can take care of this after the IPC deadline (this Friday).
— Reply to this email directly, view it on GitHub https://github.com/AI-Planning/pddl-generators/pull/29#issuecomment-1479053356, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABUPP52CFBROESQ5LXKWLIDW5KVH7ANCNFSM6AAAAAAWDA2MUA. You are receiving this because you authored the thread.
Thanks Blai, looks great! But shouldn't we add this in a new "mini-grid" directory to avoid confusion with the old grid generators that have a different kind of goal? It would also make the new mini-grid generator more visible, I think. If you agree, I can take care of this after the IPC deadline (this Friday).