up-paraspace 0.0.8

No project description provided

Integration of ParaSpace with the Unified Planning Library

The aim of this project is to make the ParaSpace planning engine available in the unified_planning library by the AIPlan4EU project. ParaSpace is a simple, flexible and extensible solver for timeline-based planning problems using Z3 and a novel abstraction refinement algorithm.

Installation

Installing from PyPi is recommended because pre-built packages of ParaSpace's Python integration are available for Windows and Linux.

pip install unified-planning up-paraspace

Usage

from unified_planning.shortcuts import *
import up_paraspace

problem = Problem('myproblem')
# specify the problem (e.g. fluents, initial state, actions, goal)
...

planner = OneshotPlanner(name="paraspace")
result = planner.solve(problem)
print(result)