classical-planning
The Fast Downward domain-independent classical planning system
Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
