diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | python-tarski.spec | 231 | ||||
| -rw-r--r-- | sources | 1 |
3 files changed, 233 insertions, 0 deletions
@@ -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 +[](https://github.com/aig-upf/tarski/actions/workflows/unit-tests.yml) +[](https://tarski.readthedocs.io/en/latest/?badge=latest) +[](https://codecov.io/gh/aig-upf/tarski) + + + + +## 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 +[](https://github.com/aig-upf/tarski/actions/workflows/unit-tests.yml) +[](https://tarski.readthedocs.io/en/latest/?badge=latest) +[](https://codecov.io/gh/aig-upf/tarski) + + + + +## 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 +[](https://github.com/aig-upf/tarski/actions/workflows/unit-tests.yml) +[](https://tarski.readthedocs.io/en/latest/?badge=latest) +[](https://codecov.io/gh/aig-upf/tarski) + + + + +## 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 <Python_Bot@openeuler.org> - 0.8.2-1 +- Package Spec generated @@ -0,0 +1 @@ +a36caac00948cc0a8bc78c3712036c48 tarski-0.8.2.tar.gz |