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, h_add, h_max, 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: L₁ distance for arbitrary numeric fluents
• HSP heuristics: h_add, h_max, etc.
• HSPr heuristics: the above, but for backward search
• FF heuristic: length of a relaxed plan, used by the Fast-Forward planner