%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 [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/idaks/PW-explorer/master) ### General System Architecture: ![PWE-UML-Diagram](https://user-images.githubusercontent.com/14302941/54492765-54b63680-4897-11e9-933b-3efc34eb7106.png) #### 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 [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/idaks/PW-explorer/master) ### General System Architecture: ![PWE-UML-Diagram](https://user-images.githubusercontent.com/14302941/54492765-54b63680-4897-11e9-933b-3efc34eb7106.png) #### 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 [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/idaks/PW-explorer/master) ### General System Architecture: ![PWE-UML-Diagram](https://user-images.githubusercontent.com/14302941/54492765-54b63680-4897-11e9-933b-3efc34eb7106.png) #### 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 * Wed May 31 2023 Python_Bot - 0.0.25-1 - Package Spec generated