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
- 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
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.23-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8ef70b24718a1b75b4fc71b99b1b1c4db3077be49de089e3db464fbf6fb73d9f |
|
MD5 | 8633aebfeac43c344ae359a4af7500d5 |
|
BLAKE2b-256 | 4ed2f992a7dd21a96d69cdcd0e2f92b66edc2b3ee78281f6bf86b3900c5a9c3e |