NextFLAP Unified Planning Interface
This asset provides the interfacing between the NextFLAP temporal planner and the Unified Planning framework developed within the AIPlan4EU project.
NextFLAP is a numeric and temporal planner, that is a tool for automatically generating a course of actions to reach a desired objective given a formal model of a system subject to temporal and numeric constraints. For example, temporal planning can be used to automatically synthesize the work-plan of a factory given a formal model of what the various machines can do and the available workforce.
The AIPlan4EU project developed a Unified Planning (UP) library to simplify the use and interfacing of various kinds of planning techniques, including numeric and temporal planning. This asset encompasses the code needed to connect the NextFLAP planner with the UP, thus using NextFLAP as one of the possible solution engines.
NextFLAP is a numeric and temporal planner employing algorithms based on heuristic search and Satisfiability Modulo Theory. The focus of the planner is to support advanced numeric features like actions with numeric parameters and duration inequalities to provide a convenient API for using it in applications.
Operation Modes
- OneshotPlanning
- PlanValidator for partial-order plans
Problem Kinds
- Temporal planning with duration inequalities and timed initial literals.
- Numeric fluents (supporting non-linear expressions).
- ADL features.
Installation
The library can be easily installed as follows.
pip install up_nextflap
Try it yourself!
A live demo showcasing the usage is available here.