diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | python-pw-explorer.spec | 284 | ||||
| -rw-r--r-- | sources | 1 |
3 files changed, 286 insertions, 0 deletions
@@ -0,0 +1 @@ +/PW_explorer-0.0.25.tar.gz diff --git a/python-pw-explorer.spec b/python-pw-explorer.spec new file mode 100644 index 0000000..dcaa790 --- /dev/null +++ b/python-pw-explorer.spec @@ -0,0 +1,284 @@ +%global _empty_manifest_terminate_build 0 +Name: python-PW-explorer +Version: 0.0.25 +Release: 1 +Summary: An Extensible Possible World Explorer for Answer Set Programming +License: Apache Software License +URL: https://github.com/idaks/PW-explorer +Source0: https://mirrors.nju.edu.cn/pypi/web/packages/e2/08/bcbaa524e76c7613bd4d2908faebe9d7a9f6dd9d25763491ee896ed18042/PW_explorer-0.0.25.tar.gz +BuildArch: noarch + +Requires: python3-antlr4-python3-runtime +Requires: python3-decorator +Requires: python3-future +Requires: python3-matplotlib +Requires: python3-networkx +Requires: python3-numpy +Requires: python3-nxpd +Requires: python3-pandas +Requires: python3-pyparsing +Requires: python3-scikit-learn +Requires: python3-scipy +Requires: python3-seaborn +Requires: python3-sklearn +Requires: python3-subprocess32 + +%description +# An Extensible Possible Worlds Explorer for Answer Set Programming + +### To get started (using Conda) -- recommended + +1. ```conda create -n your-pwe-env-name``` +2. Activate the environment created above using + + ```conda activate your-pwe-env-name``` or ```source activate your-pwe-env-name``` (depending on the version of conda). +3. Install DLV from [here](http://www.dlvsystem.com/dlv/#1) and ensure it is available in the path. +4. ```conda install -c potassco clingo ``` +5. ```conda install -c anaconda graphviz``` +6. ```conda install -c anaconda pygraphviz``` +7. ```pip install PW_explorer``` + +(To use PWE in Jupyter Notebooks, install Jupyter) + +8. ```conda install -c anaconda jupyter``` +9. Install [PWE-NB-Extension](https://github.com/idaks/PWE-NB-Extension) to activate Notebook-specific functionality like in-line editing, etc. using: + + ```pip install PWE_NB_Extension``` + + Load the extension in the notebook using ```%load_ext PWE_NB_Extension``` + +### Alternatively, to get started (using venv): + +1. Install clingo. PW_explorer has been tested with clingo version: 5.2.1 + +2. Install DLV. + +3. Make sure the packages graphviz>=0.8.2 and pygraphviz>=1.5 are installed. These are required to be able to use the visualization functionality. You can find instructions to install pygraphviz [here](http://pygraphviz.github.io/documentation/pygraphviz-1.3.1/install.html). + +These commands usually work as well: + + a. ```apt-get install python-dev graphviz libgraphviz-dev pkg-config``` OR ```brew install graphviz``` + + b. ```pip3 install pygraphviz``` + + (Might need to run them using sudo) + + [StackOverflow Reference](https://stackoverflow.com/questions/40528048/pip-install-pygraphviz-no-package-libcgraph-found) + +4. ```python3 -m venv /path/to/new/virtual/environment``` + +5. ```source /path/to/new/virtual/environment/bin/activate``` + +6. ```python3 -m pip install PW_explorer``` + +To deactivate the virtualenv after you're done working: + +7. ```deactivate``` + +Repeat Step 5 to resume work and Step 7 to exit the virtualenv again. + + +#### Launch a ASP+PWE friendly computing environment on Binder + +[](https://mybinder.org/v2/gh/idaks/PW-explorer/master) + +### General System Architecture: + + + + +#### PWE Demos available [here](https://github.com/idaks/PWE-demos) + + + + +%package -n python3-PW-explorer +Summary: An Extensible Possible World Explorer for Answer Set Programming +Provides: python-PW-explorer +BuildRequires: python3-devel +BuildRequires: python3-setuptools +BuildRequires: python3-pip +%description -n python3-PW-explorer +# An Extensible Possible Worlds Explorer for Answer Set Programming + +### To get started (using Conda) -- recommended + +1. ```conda create -n your-pwe-env-name``` +2. Activate the environment created above using + + ```conda activate your-pwe-env-name``` or ```source activate your-pwe-env-name``` (depending on the version of conda). +3. Install DLV from [here](http://www.dlvsystem.com/dlv/#1) and ensure it is available in the path. +4. ```conda install -c potassco clingo ``` +5. ```conda install -c anaconda graphviz``` +6. ```conda install -c anaconda pygraphviz``` +7. ```pip install PW_explorer``` + +(To use PWE in Jupyter Notebooks, install Jupyter) + +8. ```conda install -c anaconda jupyter``` +9. Install [PWE-NB-Extension](https://github.com/idaks/PWE-NB-Extension) to activate Notebook-specific functionality like in-line editing, etc. using: + + ```pip install PWE_NB_Extension``` + + Load the extension in the notebook using ```%load_ext PWE_NB_Extension``` + +### Alternatively, to get started (using venv): + +1. Install clingo. PW_explorer has been tested with clingo version: 5.2.1 + +2. Install DLV. + +3. Make sure the packages graphviz>=0.8.2 and pygraphviz>=1.5 are installed. These are required to be able to use the visualization functionality. You can find instructions to install pygraphviz [here](http://pygraphviz.github.io/documentation/pygraphviz-1.3.1/install.html). + +These commands usually work as well: + + a. ```apt-get install python-dev graphviz libgraphviz-dev pkg-config``` OR ```brew install graphviz``` + + b. ```pip3 install pygraphviz``` + + (Might need to run them using sudo) + + [StackOverflow Reference](https://stackoverflow.com/questions/40528048/pip-install-pygraphviz-no-package-libcgraph-found) + +4. ```python3 -m venv /path/to/new/virtual/environment``` + +5. ```source /path/to/new/virtual/environment/bin/activate``` + +6. ```python3 -m pip install PW_explorer``` + +To deactivate the virtualenv after you're done working: + +7. ```deactivate``` + +Repeat Step 5 to resume work and Step 7 to exit the virtualenv again. + + +#### Launch a ASP+PWE friendly computing environment on Binder + +[](https://mybinder.org/v2/gh/idaks/PW-explorer/master) + +### General System Architecture: + + + + +#### PWE Demos available [here](https://github.com/idaks/PWE-demos) + + + + +%package help +Summary: Development documents and examples for PW-explorer +Provides: python3-PW-explorer-doc +%description help +# An Extensible Possible Worlds Explorer for Answer Set Programming + +### To get started (using Conda) -- recommended + +1. ```conda create -n your-pwe-env-name``` +2. Activate the environment created above using + + ```conda activate your-pwe-env-name``` or ```source activate your-pwe-env-name``` (depending on the version of conda). +3. Install DLV from [here](http://www.dlvsystem.com/dlv/#1) and ensure it is available in the path. +4. ```conda install -c potassco clingo ``` +5. ```conda install -c anaconda graphviz``` +6. ```conda install -c anaconda pygraphviz``` +7. ```pip install PW_explorer``` + +(To use PWE in Jupyter Notebooks, install Jupyter) + +8. ```conda install -c anaconda jupyter``` +9. Install [PWE-NB-Extension](https://github.com/idaks/PWE-NB-Extension) to activate Notebook-specific functionality like in-line editing, etc. using: + + ```pip install PWE_NB_Extension``` + + Load the extension in the notebook using ```%load_ext PWE_NB_Extension``` + +### Alternatively, to get started (using venv): + +1. Install clingo. PW_explorer has been tested with clingo version: 5.2.1 + +2. Install DLV. + +3. Make sure the packages graphviz>=0.8.2 and pygraphviz>=1.5 are installed. These are required to be able to use the visualization functionality. You can find instructions to install pygraphviz [here](http://pygraphviz.github.io/documentation/pygraphviz-1.3.1/install.html). + +These commands usually work as well: + + a. ```apt-get install python-dev graphviz libgraphviz-dev pkg-config``` OR ```brew install graphviz``` + + b. ```pip3 install pygraphviz``` + + (Might need to run them using sudo) + + [StackOverflow Reference](https://stackoverflow.com/questions/40528048/pip-install-pygraphviz-no-package-libcgraph-found) + +4. ```python3 -m venv /path/to/new/virtual/environment``` + +5. ```source /path/to/new/virtual/environment/bin/activate``` + +6. ```python3 -m pip install PW_explorer``` + +To deactivate the virtualenv after you're done working: + +7. ```deactivate``` + +Repeat Step 5 to resume work and Step 7 to exit the virtualenv again. + + +#### Launch a ASP+PWE friendly computing environment on Binder + +[](https://mybinder.org/v2/gh/idaks/PW-explorer/master) + +### General System Architecture: + + + + +#### PWE Demos available [here](https://github.com/idaks/PWE-demos) + + + + +%prep +%autosetup -n PW-explorer-0.0.25 + +%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-PW-explorer -f filelist.lst +%dir %{python3_sitelib}/* + +%files help -f doclist.lst +%{_docdir}/* + +%changelog +* Mon May 29 2023 Python_Bot <Python_Bot@openeuler.org> - 0.0.25-1 +- Package Spec generated @@ -0,0 +1 @@ +78f420f1d7b8dffd2d34e6dec4455ee3 PW_explorer-0.0.25.tar.gz |