The ENHSP Planner

Expressive Numeric Heuristic Search Planner. This is an expressive classical, linear and non linear numeric planner. It reads PDDL problems and synthesises (time stamped) sequence of actions to achieve goals starting from some description of the initial state of the system.