SymbolicPlanners.jl
Symbolic planners for problems and domains specified in PDDL.
Installation
Make sure PDDL.jl
is installed. Then run
add https://github.com/JuliaPlanners/SymbolicPlanners.jl
at the Julia package manager.
Features
- Forward state-space planners (A*, BFS, etc.)
- Backward (i.e. regression) planners
- Relaxed-distance heuristics (Manhattan, hadd, hmax, etc.)
Planners
- Forward breadth-first search
- Forward best-first search (A*, Greedy, etc.)
- Backward best-first search (A*, Greedy, etc.)
- FastDownward wrapper
Heuristics
- Goal Count: counts the number of unsatisfied goals
- Manhattan: L1 distance for arbitrary numeric fluents
- HSP heuristics: hadd, hmax, etc.
- HSPr heuristics: the above, but for backward search
- FF heuristic: length of a relaxed plan, used by the Fast-Forward planner