A slightly modified version of Temporal Fast Downward.
$ ./build
Patrick Eyerich, Robert Mattmüller and Gabriele Röger. Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning. In Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), 2009.