Skip to content

Latest commit

 

History

History
64 lines (35 loc) · 2.39 KB

README.md

File metadata and controls

64 lines (35 loc) · 2.39 KB

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)

  1. conda install -c anaconda jupyter

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

  1. python3 -m venv /path/to/new/virtual/environment

  2. source /path/to/new/virtual/environment/bin/activate

  3. python3 -m pip install PW_explorer

To deactivate the virtualenv after you're done working:

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

General System Architecture:

PWE-UML-Diagram

PWE Demos available here