Metadata-Version: 2.1
Name: tarski
Version: 0.6.0
Summary: Tarski is a framework for the specification, modeling and manipulation of AI planning problems.
Home-page: https://github.com/aig-upf/tarski
Author: Miquel Ramírez and Guillem Francès
Author-email: guillem.frances@upf.edu
License: UNKNOWN
Description: 
        # Tarski - An AI Planning Modeling Framework 
        [![Build Status](https://travis-ci.com/aig-upf/tarski.svg?branch=master)](https://travis-ci.com/aig-upf/tarski)
        [![Documentation Status](https://readthedocs.org/projects/tarski/badge/?version=latest)](https://tarski.readthedocs.io/en/latest/?badge=latest)
        [![codecov](https://codecov.io/gh/aig-upf/tarski/branch/master/graph/badge.svg)](https://codecov.io/gh/aig-upf/tarski)
        ![PyPI - Python Version](https://img.shields.io/pypi/pyversions/tarski.svg?style=popout)
        ![PyPI](https://img.shields.io/pypi/v/tarski.svg?style=popout)
        
        
        ## What is Tarski
        Tarski is a framework for the specification, modeling and manipulation of 
        [AI planning](https://en.wikipedia.org/wiki/Automated_planning_and_scheduling) problems.
        Tarski is written in Python and includes parsers for major modeling languages
        (e.g., [PDDL](https://en.wikipedia.org/wiki/Planning_Domain_Definition_Language),
        [FSTRIPS](https://dl.acm.org/citation.cfm?id=566359),
        [RDDL](https://en.wikipedia.org/wiki/Planning_Domain_Definition_Language#RDDL)), 
        along with modules to perform other common tasks such as logical transformations,
        reachability analysis, grounding of first-order representations and problem reformulations.
        
        
        **Installation**: Check the [*installation instructions*](docs/installation.md).
        
        **Documentation**: Read the [*documentation of the project*](https://tarski.readthedocs.io).
        
        **Testing**: Most tests can be run by executing `pytest` on the root directory.
        Alternatively, they can be run through `tox`, for which several testing environments [are defined](tox.ini).
        
        ## License
        Tarski is licensed under the [GNU General Public License, version 3](LICENSE).
        
Keywords: planning logic STRIPS RDDL
Platform: UNKNOWN
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Science/Research
Classifier: Intended Audience :: Developers
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Requires-Python: >=3.6
Description-Content-Type: text/markdown
Provides-Extra: test
Provides-Extra: docs
Provides-Extra: sdd
Provides-Extra: arithmetic
Provides-Extra: rddl
