https://github.com/notbad4u/pddl-experiment

Experimentation on Planning Domain Definition Language
https://github.com/notbad4u/pddl-experiment

Last synced: 4 months ago
JSON representation

Experimentation on Planning Domain Definition Language

• Host: GitHub
• URL: https://github.com/notbad4u/pddl-experiment
• Owner: NotBad4U
• Created: 2019-08-02T15:25:15.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2019-08-19T23:01:52.000Z (almost 7 years ago)
• Last Synced: 2025-06-12T22:33:26.291Z (12 months ago)
• Size: 2.93 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# pddl-experiment

## Run it

### Using metric-ff

`ff -o hanoi-domain.pddl -f hanoi-problem.pddl`

should output:

```

...

ff: found legal plan as follows

step    0: MOVE-ON DISK1 DISK2 PEG3

        1: MOVE-ON DISK2 DISK3 PEG2

        2: MOVE-ON DISK1 PEG3 DISK2

        3: MOVE-ON DISK3 PEG1 PEG3

        4: MOVE-ON DISK1 DISK2 PEG1

        5: MOVE-ON DISK2 PEG2 DISK3

        6: MOVE-ON DISK1 PEG1 DISK2

time spent:    0.00 seconds instantiating 72 easy, 0 hard action templates

               0.00 seconds reachability analysis, yielding 18 facts and 50 actions

               0.00 seconds creating final representation with 17 relevant facts, 0 relevant fluents

               0.00 seconds computing LNF

               0.00 seconds building connectivity graph

               0.00 seconds searching, evaluating 14 states, to a max depth of 4

               0.00 seconds total time

...

```

## Plan solver

* [metric-ff](https://fai.cs.uni-saarland.de/hoffmann/metric-ff.html)

* [fast-downward](http://www.fast-downward.org/)

## Dev tools

* [PDDL vscode extension](https://marketplace.visualstudio.com/items?itemName=jan-dolejsi.pddl)