Closing this. The page (which now lives on http://www.fast-downward.org/Users)
has some basic information now, but of course feel free to add more when you
hear about interesting uses of Fast Downward and/or LAMA!

Forgot the link:

http://alfons.informatik.uni-freiburg.de/downward/Users

This was split off from issue93.

I created a new page on the wiki to document who uses Fast Downward and/or LAMA
and for what. The idea is to show that classical planning in general and Fast
Downward/LAMA in particular have many applications, both in research (e.g.
applying them to compilations from other formalisms) and for real-world problems.

I've added a few things that were mentioned in issue93. Please everyone add
stuff that you know about and is missing. Feel free to just add stubs and
reminders; we can always hammer them into shape later.