Page Contributors: adamgreen,
Year Published: 2016
Paper: Interval-Based Relaxation for General Numeric Planning [Scala, E. Haslum, P. Thiebaux, S. Ramirez, M.]
ENHSP, which stands for Expressive Numeric Heuristic Planner is a forward heuristic search planner. It supports the following
- Classical Planning
- Numeric Planning with linear and non-linear expressions
- Planning with discretised autonomous processes and events
- Global constraints, which are the analogous of always constraints of PDDL
- discrete events
- universal and existential quantification in formulas (action precondition, constraints and goals)
- negative preconditions
- novel heuristics based on landmarks and search techniques for planning with autonomous processes
:typing in all domains it runs on, which makes it incompatible with Eviscerator. No support table has been generated.
For more information on how to download, compile and use ENHSP, visit its GitLab page here.
ENHSP has support for non-linear continuous effects assuming they are monotonic.