Hello everyone,
we are happy to announce that we now have a public Discord server for
Fast Downward, where you can ask any questions about Fast Downward or
discuss any other topics related to Fast Downward. Everyone is welcome
to join using this link:
https://discord.gg/8zxvSchDS6
This mailing list will continue to be available and we'll continue to
answer questions here as well.
Best regards,
the Fast Downward team