An Extensible Possible World Explorer for Answer Set Programming
Project description
An Extensible Possible Worlds Explorer for Answer Set Programming
To get started (using Conda) -- recommended
-
conda create -n your-pwe-env-name
-
Activate the environment created above using
conda activate your-pwe-env-name
orsource activate your-pwe-env-name
(depending on the version of conda). -
Install DLV from here and ensure it is available in the path.
-
conda install -c potassco clingo
-
conda install -c anaconda graphviz
-
conda install -c anaconda pygraphviz
-
pip install PW_explorer
(To use PWE in Jupyter Notebooks, install Jupyter)
-
conda install -c anaconda jupyter
-
Install 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):
-
Install clingo. PW_explorer has been tested with clingo version: 5.2.1
-
Install DLV.
-
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.
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)
-
python3 -m venv /path/to/new/virtual/environment
-
source /path/to/new/virtual/environment/bin/activate
-
python3 -m pip install PW_explorer
To deactivate the virtualenv after you're done working:
deactivate
Repeat Step 5 to resume work and Step 7 to exit the virtualenv again.
Launch a ASP+PWE friendly computing environment on Binder
General System Architecture:
PWE Demos available here
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for PW_explorer-0.0.24-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 630339c03da6904eb480a0a2c2fd30841d1836f6959e381736d9bcfba9b3dc17 |
|
MD5 | bf543e4e944e16d5b0c6104c4e50078f |
|
BLAKE2b-256 | 76cca3573832aef65074b80a8197a5cdfe5501756fe093a10d953a5ed218c77a |