fast-downward: Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward.

[ ai, bsd3, library ] [ Propose Tags ]

fast-downward is a library for modelling classical planning problems and solving them using the Fast Downward engine. For general usage, see FastDownward, and for an example see FastDownward.Examples.Gripper.

Note that usage of this library requires the downward executable - see Obtaining and Running Fast Downward for more instructions.

Versions [faq],,
Change log
Dependencies base (>= && <4.12), containers (>= && <0.6), list-t (>=1.0.1 && <1.1), mtl (>=2.2.2 && <2.3), process (>= && <1.7), temporary (==1.3.*), text (>= && <1.3), transformers (>= && <0.6) [details]
License BSD-3-Clause
Maintainer Ollie Charles <>
Revised Revision 1 made by OliverCharles at Wed Dec 26 12:46:30 UTC 2018
Category AI
Home page
Bug tracker
Source repo head: git clone
Uploaded by OliverCharles at Tue Dec 25 19:00:42 UTC 2018
Distributions NixOS:
Downloads 196 total (33 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees