https://github.com/aig-upf/tarski

Tarski - An AI Planning Modeling Framework
https://github.com/aig-upf/tarski

automated-planning first-order-logic functional-strips python3 strips

Last synced: 9 months ago
JSON representation

Tarski - An AI Planning Modeling Framework

• Host: GitHub
• URL: https://github.com/aig-upf/tarski
• Owner: aig-upf
• License: apache-2.0
• Created: 2018-01-09T12:34:13.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2024-03-04T11:21:46.000Z (over 2 years ago)
• Last Synced: 2025-09-22T22:42:13.136Z (9 months ago)
• Topics: automated-planning, first-order-logic, functional-strips, python3, strips
• Language: Python
• Homepage:
• Size: 2.22 MB
• Stars: 71
• Watchers: 9
• Forks: 21
• Open Issues: 12
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

          

# 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).