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)
Building/publishing
This section is intended for package maintainers.
Up-paraspace is a pure Python package that does not need to build any native
code. The pyparaspace package that it depends on has a more involved build
process. Building and publishing is done with hatch. Run:
hatch publish
1 maintainer
Metadata
1 maintainer
Release files for up-paraspace 0.0.12
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| up_paraspace-0.0.12.tar.gz | 12.9 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| up_paraspace-0.0.12-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 28.3 kB
Release files / up_paraspace-0.0.12.tar.gz
| Download URL | up_paraspace-0.0.12.tar.gz |
|---|---|
| Size | 12.9 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
caad577873494444967fd968b0d4c218330d9d41db0e19d1b2729ff5885b6d66
|
|
BLAKE2b-256 checksum How to use checksums |
ae5ba32253c7c30e50ce8a54fdba54c40816c6c235a7587219d909a9f1f79f68
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
python-httpx/0.24.1
|
Release files / up_paraspace-0.0.12-py3-none-any.whl
| Download URL | up_paraspace-0.0.12-py3-none-any.whl |
|---|---|
| Size | 15.4 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
07418d51dcc38c2ae5b6ba4595d8b995e79d3d2a8d3a0df0f35afe3f8db1e3f1
|
|
BLAKE2b-256 checksum How to use checksums |
afd104794c70d0c46a9443ea38246f20e68af9c6327ebeb0240b86e408d6cd43
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
python-httpx/0.24.1
|
