From 6d388e07731f330de1cce4c56f2a832c03750cb3 Mon Sep 17 00:00:00 2001 From: CoprDistGit Date: Tue, 20 Jun 2023 05:30:06 +0000 Subject: automatic import of python-tarski --- .gitignore | 1 + python-tarski.spec | 231 +++++++++++++++++++++++++++++++++++++++++++++++++++++ sources | 1 + 3 files changed, 233 insertions(+) create mode 100644 python-tarski.spec create mode 100644 sources diff --git a/.gitignore b/.gitignore index e69de29..c378860 100644 --- a/.gitignore +++ b/.gitignore @@ -0,0 +1 @@ +/tarski-0.8.2.tar.gz diff --git a/python-tarski.spec b/python-tarski.spec new file mode 100644 index 0000000..fd21e29 --- /dev/null +++ b/python-tarski.spec @@ -0,0 +1,231 @@ +%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 diff --git a/sources b/sources new file mode 100644 index 0000000..590a700 --- /dev/null +++ b/sources @@ -0,0 +1 @@ +a36caac00948cc0a8bc78c3712036c48 tarski-0.8.2.tar.gz -- cgit v1.2.3