Skip to main content

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

Project description

Tarski - The Planning Problem Definition Module Build Status

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)

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for tarski, version 0.1.9
Filename, size File type Python version Upload date Hashes
Filename, size tarski-0.1.9-py3-none-any.whl (155.5 kB) File type Wheel Python version py3 Upload date Hashes View
Filename, size tarski-0.1.9.tar.gz (122.7 kB) File type Source Python version None Upload date Hashes View

Supported by

Pingdom Pingdom Monitoring Google Google Object Storage and Download Analytics Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page