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 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 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.

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

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

General System Architecture:

PWE Demos available here