Metadata-Version: 2.4
Name: tarski-tmp
Version: 0.8.5
Summary: This is a fork of Tarski, 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
Keywords: planning logic STRIPS RDDL
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Science/Research
Classifier: Intended Audience :: Developers
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Requires-Python: >=3.6
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: psutil; platform_system == "Linux"
Requires-Dist: multipledispatch
Requires-Dist: antlr4-python3-runtime-py313==4.7.2
Provides-Extra: test
Requires-Dist: pytest>=7.0.1; extra == "test"
Requires-Dist: tox; extra == "test"
Requires-Dist: pytest-cov; extra == "test"
Requires-Dist: mypy; extra == "test"
Provides-Extra: docs
Requires-Dist: jinja2==3.0.3; extra == "docs"
Requires-Dist: docutils<0.18; extra == "docs"
Requires-Dist: sphinx==4.4.0; extra == "docs"
Requires-Dist: nbsphinx==0.8.8; extra == "docs"
Requires-Dist: recommonmark==0.7.1; extra == "docs"
Requires-Dist: sphinx_rtd_theme==1.0.0; extra == "docs"
Requires-Dist: ipykernel==6.9.1; extra == "docs"
Requires-Dist: ipython==8.1.0; extra == "docs"
Provides-Extra: arithmetic
Requires-Dist: scipy; extra == "arithmetic"
Requires-Dist: numpy; extra == "arithmetic"
Provides-Extra: rddl
Requires-Dist: pyrddl; extra == "rddl"
Provides-Extra: parsegen
Requires-Dist: ply==3.11; extra == "parsegen"
Provides-Extra: clingo
Requires-Dist: clingo>=5.5.1; extra == "clingo"
Provides-Extra: stubs
Requires-Dist: types-psutil; extra == "stubs"
Dynamic: author
Dynamic: author-email
Dynamic: classifier
Dynamic: description
Dynamic: description-content-type
Dynamic: home-page
Dynamic: keywords
Dynamic: license-file
Dynamic: provides-extra
Dynamic: requires-dist
Dynamic: requires-python
Dynamic: summary

⚠️ This is a fork of Tarski. Please use the main one.

------

# Tarski - An AI Planning Modeling Framework 
[![Unit Tests](https://github.com/aig-upf/tarski/actions/workflows/unit-tests.yml/badge.svg)](https://github.com/aig-upf/tarski/actions/workflows/unit-tests.yml)
[![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).

## How to Cite

If you find `tarski` useful in your research, you can cite it with the following `bibtex` entry:

```
@misc{tarski:github:18,
  author = {Guillem Franc\'{e}s and Miquel Ramirez and Collaborators},
  title = {Tarski: An {AI} Planning Modeling Framework},
  year = {2018},
  publisher = {{GitHub}},
  journal = {{GitHub} repository},
  howpublished = {\url{https://github.com/aig-upf/tarski}}
}
```

## License
Tarski is licensed under the [Apache-2.0 License](LICENSE).
