tarski 0.1.9

Tarski is a parser and preprocessor to define and manipulate classical planning problems

Tarski - The Planning Problem Definition Module

What is Tarski

To be defined :-)

Installation and Usage

You can install the latest version of Tarski through pip by issuing the following on the root directory of the project:

pip install -U git+https://github.com/aig-upf/tarski.git

If you are developing Tarski, we strongly recommend cloning from the Github repository and using a virtual environment and installing in development mode by using the -e flag:

git clone https://github.com/aig-upf/tarski
cd tarski
pip install -e .

This will install the project in "editable mode", i.e., by using the actual files from the project directory tree, as opposed to a copy installed in some system or virtualenv directory. Any modification to the files will thus be immediately reflected in the installed library.

Testing

All of Tarski's tests live under the tests directory (shocking!). To run them, you just need to run pytest (pip install pytest) on the root directory. You can also run tox (pip install tox) to have some additional style checks.

Software Requirements

Tarski requires Python >= 3.5. The above installation instructions will install under the hood a number of dependencies, among which numpy and scipy.

Supported Languages

At the moment, Tarski is able to parse the following modeling languages:

• PDDL
• Functional STRIPS

with the following limitations:

• The PDDL either keyword for defining compound types is not supported.
• Parsing of derived predicates is not supported yet.

Modules

• Description Logic (tarski.dl)
• PDDL / FSTRIPS parsing and writing (tarski.io)