%global _empty_manifest_terminate_build 0 Name: python-tarski Version: 0.8.2 Release: 1 Summary: Tarski is a framework for the specification, modeling and manipulation of AI planning problems. License: Apache Software License URL: https://github.com/aig-upf/tarski Source0: https://mirrors.aliyun.com/pypi/web/packages/de/a0/9611def2aa31dd659547ba341f980e52e2a498a349a887901618a6156659/tarski-0.8.2.tar.gz BuildArch: noarch Requires: python3-multipledispatch Requires: python3-antlr4-python3-runtime Requires: python3-psutil Requires: python3-scipy Requires: python3-numpy Requires: python3-clingo Requires: python3-jinja2 Requires: python3-docutils Requires: python3-sphinx Requires: python3-nbsphinx Requires: python3-recommonmark Requires: python3-sphinx-rtd-theme Requires: python3-ipykernel Requires: python3-ipython Requires: python3-ply Requires: python3-pyrddl Requires: python3-types-psutil Requires: python3-pytest Requires: python3-tox Requires: python3-pytest-cov Requires: python3-mypy %description # 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). %package -n python3-tarski Summary: Tarski is a framework for the specification, modeling and manipulation of AI planning problems. Provides: python-tarski BuildRequires: python3-devel BuildRequires: python3-setuptools BuildRequires: python3-pip %description -n python3-tarski # 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). %package help Summary: Development documents and examples for tarski Provides: python3-tarski-doc %description help # 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). %prep %autosetup -n tarski-0.8.2 %build %py3_build %install %py3_install install -d -m755 %{buildroot}/%{_pkgdocdir} if [ -d doc ]; then cp -arf doc %{buildroot}/%{_pkgdocdir}; fi if [ -d docs ]; then cp -arf docs %{buildroot}/%{_pkgdocdir}; fi if [ -d example ]; then cp -arf example %{buildroot}/%{_pkgdocdir}; fi if [ -d examples ]; then cp -arf examples %{buildroot}/%{_pkgdocdir}; fi pushd %{buildroot} if [ -d usr/lib ]; then find usr/lib -type f -printf "\"/%h/%f\"\n" >> filelist.lst fi if [ -d usr/lib64 ]; then find usr/lib64 -type f -printf "\"/%h/%f\"\n" >> filelist.lst fi if [ -d usr/bin ]; then find usr/bin -type f -printf "\"/%h/%f\"\n" >> filelist.lst fi if [ -d usr/sbin ]; then find usr/sbin -type f -printf "\"/%h/%f\"\n" >> filelist.lst fi touch doclist.lst if [ -d usr/share/man ]; then find usr/share/man -type f -printf "\"/%h/%f.gz\"\n" >> doclist.lst fi popd mv %{buildroot}/filelist.lst . mv %{buildroot}/doclist.lst . %files -n python3-tarski -f filelist.lst %dir %{python3_sitelib}/* %files help -f doclist.lst %{_docdir}/* %changelog * Tue Jun 20 2023 Python_Bot - 0.8.2-1 - Package Spec generated