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 or source 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)

StackOverflow Reference

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