This is my personal fork of Fast Downward that I use to work on issues. For the official version, see https://github.com/aibasel/downward. - View it on GitHub