Installing Tarski

Software Requirements

Tarski is mostly developed in Python, and requires a working Python>=3.6 installation. We strongly recommend installing Tarski within a Python virtual environment. The installation instructions below will install for you any additional required dependencies.

Installation Instructions

You can install the latest Tarski release with:

pip install tarski

If instead you want to use the latest code available on the Github repository, you can install with:

pip install -U git+

Installing Tarski in Development Mode

If developing Tarski, we recommend cloning from the Github repository and doing a development installation (the-e flag for pip):

git clone
cd tarski
pip install -e .

This will install the project in “editable mode”, meaning that any modification to the files is immediately reflected in the installed library.

Installing Extras (Experimental)

Tarski allows the optional installation of certain extras that will allow you to run certain non-essential functionalities of the library. For instance, the tarski.rddl experimental package allows you to interact with the PyRDDL package for parsing of RDDL probabilistic planning problems. To use this optional package, you’d need to pip install with the pyrddl “extra”, as in:

pip install tarski[rddl]

We strongly recommend to use these extras only if you know what you’re doing. Current extras include:

  • arithmetic: Enables use of Tarski for dealing with numeric planning problems, algebraic matrix sorts, etc. Installs scipy and numpy python packages.

  • rddl: Enables dealing with RDDL probabilistic problems. Installs pyrddl python package.