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.25-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 891f5bdc0c9ae60fd99a4bb4b5a6a6299b30448804429ea4969b189a0dff970f |
|
MD5 | f81b7d70236f0f4f3e18858409e69619 |
|
BLAKE2b-256 | aad18b5f0b0499ab1bb0bff6d11a3b23e2d0b362bc8d7ca55b3a75137ffe989e |