fast-downward: Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward.
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.
Modules
[Index] [Quick Jump]
- FastDownward
- Examples
- 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
- fast-downward-0.2.3.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1.0.0, 0.1.0.1, 0.1.1.0, 0.2.0.0, 0.2.1.0, 0.2.2.0, 0.2.3.0 |
---|---|
Change log | Changelog.md |
Dependencies | base (>=4.11.1.0 && <4.12 || >=4.12.0.0 && <4.13 || >=4.13.0.0 && <4.14 || >=4.14.0.0 && <4.15 || >=4.15.0.0 && <4.16 || >=4.16.0.0 && <4.17 || >=4.17.0.0 && <4.18), containers (>=0.5.11.0 && <0.7), mtl (>=2.2.2 && <2.3), process (>=1.6.3.0 && <1.7), temporary (>=1.3 && <1.4), text (>=1.2.3.0 && <1.3 || >=2.0 && <2.1), 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 2023-05-11T12:38:19Z |
Distributions | |
Downloads | 2089 total (23 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2023-05-11 [all 1 reports] |