Tarski is a parser and preprocessor to define and manipulate classical planning problems
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
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.
All of Tarski's tests live under the
tests directory (shocking!).
To run them, you just need to run
pip install pytest) on the root directory.
You can also run
pip install tox) to have some additional style checks.
Tarski requires Python >= 3.5. The above installation instructions will install under the hood a number of dependencies, among which numpy and scipy.
At the moment, Tarski is able to parse the following modeling languages:
- Functional STRIPS
with the following limitations:
- The PDDL
eitherkeyword for defining compound types is not supported.
- Parsing of derived predicates is not supported yet.
- Description Logic (
- PDDL / FSTRIPS parsing and writing (
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
|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|