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] 0.1.0.0, 0.1.0.1, 0.1.1.0
Change log Changelog.md
Dependencies base (>=4.11.1.0 && <4.12), containers (>=0.5.11.0 && <0.6), list-t (>=1.0.1 && <1.1), mtl (>=2.2.2 && <2.3), process (>=1.6.3.0 && <1.7), temporary (==1.3.*), text (>=1.2.3.0 && <1.3), transformers (>=0.5.5.0 && <0.6) [details]
License BSD-3-Clause
Author
Maintainer Ollie Charles <ollie@ocharles.org.uk>
Category AI
Home page https://github.com/circuithub/fast-downward
Bug tracker https://github.com/circuithub/fast-downward/issues
Source repo head: git clone https://github.com/circuithub/fast-downward
Uploaded by OliverCharles at Wed Jan 2 12:02:20 UTC 2019
Distributions NixOS:0.1.1.0
Downloads 117 total (14 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2019-01-02 [all 3 reports]

Modules

  • FastDownward
    • Examples
      • FastDownward.Examples.Gripper
    • FastDownward.Exec
    • FastDownward.SAS
      • FastDownward.SAS.Axiom
      • FastDownward.SAS.DomainIndex
      • FastDownward.SAS.Effect
      • FastDownward.SAS.Goal
      • FastDownward.SAS.MutexGroup
      • FastDownward.SAS.Operator
      • FastDownward.SAS.Plan
      • FastDownward.SAS.State
      • FastDownward.SAS.UseCosts
      • FastDownward.SAS.Variable
      • FastDownward.SAS.VariableAssignment
      • FastDownward.SAS.VariableIndex
      • FastDownward.SAS.Version

Downloads

Maintainer's Corner

For package maintainers and hackage trustees