https://github.com/circuithub/fast-downward

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

Last synced: 5 months ago
JSON representation

Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward

• Host: GitHub
• URL: https://github.com/circuithub/fast-downward
• Owner: circuithub
• License: bsd-3-clause
• Created: 2018-12-26T12:41:29.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2023-05-11T12:38:05.000Z (almost 3 years ago)
• Last Synced: 2025-10-21T13:56:21.510Z (5 months ago)
• Language: Haskell
• Size: 57.6 KB
• Stars: 32
• Watchers: 6
• Forks: 5
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • Changelog: Changelog.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# `fast-downward`

fast-downward is a library for modelling classical planning problems and solving them using the [Fast Downward](http://www.fast-downward.org) engine. For general usage, see [`FastDownward`](https://hackage.haskell.org/package/fast-downward-0.1.0.0/docs/FastDownward.html), and for an example see [`FastDownward.Examples.Gripper`](https://hackage.haskell.org/package/fast-downward-0.1.0.0/docs/FastDownward-Examples-Gripper.html).

Note that usage of this library requires the downward executable - see [Obtaining and Running Fast Downward](http://www.fast-downward.org/ObtainingAndRunningFastDownward) for more instructions.