Give AlbumentationsX a star on GitHub — it powers this leaderboard
Scripts to clean up and convert Fast Downward