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.
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+https://github.com/aig-upf/tarski.git
If developing Tarski, we recommend cloning from the Github repository and doing
a development installation (the-e flag for pip):
git clone https://github.com/aig-upf/tarski
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.
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. Installsscipyandnumpypython packages.rddl: Enables dealing with RDDL probabilistic problems. Installspyrddlpython package.