Fast Downward.
A domain-independent classical planning system.