No project description provided
Project description
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 *
from unified_planning.engines import PlanGenerationResultStatus
problem = Problem('myproblem')
# specify the problem (e.g. fluents, initial state, actions, goal)
...
planner = OneshotPlanner(name="paraspace")
result = planner.solve(problem)
print(result)
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file up_paraspace-0.0.4.tar.gz.
File metadata
- Download URL: up_paraspace-0.0.4.tar.gz
- Upload date:
- Size: 5.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: python-httpx/0.24.1
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
c8c68cb5ef22a8f35007de04439c2767dca66ff0473652ed6b0ab021d1558350
|
|
| MD5 |
aa0dd367141d62f2f5fd4710d8264e54
|
|
| BLAKE2b-256 |
6e2365f63a923a09b4f4ee5a65fa00e9a4ae7be376ec3d43b9782ff3f57fc733
|
File details
Details for the file up_paraspace-0.0.4-py3-none-any.whl.
File metadata
- Download URL: up_paraspace-0.0.4-py3-none-any.whl
- Upload date:
- Size: 6.8 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: python-httpx/0.24.1
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
7f919716eda4b56a7db5a8203b232e2758d767d4577fc5e0b7bc2aacc68ebbaa
|
|
| MD5 |
79ad77422e3166dd155c88ae1ffefcf5
|
|
| BLAKE2b-256 |
9a8bed1e4f2871ea05865750288ace71aee30428e598039ffe99dda75aa5791e
|
