automatic import of python-pw-explorer

1 files changed, 284 insertions, 0 deletions

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
+
+[![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
+* Mon May 29 2023 Python_Bot <Python_Bot@openeuler.org> - 0.0.25-1
+- Package Spec generated