Integration of SymK with the Unified Planning Library

This repository was created within the Symbolic Search for Diverse Plans and Maximum Utility project funded by the by the AIPlan4EU project. This project aims to enhance the unified planning library with multiple expressive extensions to traditional classical planning using the symbolic search planner SymK.

Installation

Most of the functionality works by installing official packages as follows.

pip install --pre unified-planning
pip install up-symk

Axiom Support

Since our axiom implementation is not yet integrated into the official unified planning library, we recommend building our version of the unified planning library locally and then building this `up-symk' package.

Clone and install the unified planning library.

git clone git@github.com:speckdavid/unified-planning.git
pip install unified-planning/

Then install the up-symk package using pip:

pip install up-symk

Alternatively, you can install up-symk locally by following these steps:

Ensure you have the necessary packages to build Symk:

sudo apt-get -y install cmake g++ make python3 autoconf automake git

Clone and build the package.

git clone git@github.com:aiplan4eu/up-symk.git
pip install up-symk/

Usages

In the notebooks folder, you can find examples of how to use the SymK planner within the unified planning library.

• Multi-Solution Generation: Using SymK in the Unified Planning Library
• Optimizing Plan Utility: Using SymK in the Unified Planning Library
• Axioms and Derived Predicates in the Unified Planning Library