a visualization tool for clingo.
Project description
viASP
viASP generates interactive visualizations of ASP encodings and stable models
viASP allows you to explore the visualization in a variety of ways:
- Follow the derivation of answer sets step-by-step
- Explain the derivation of individual symbols with arrows
- Inspect iterations of recursive rules
- Visualize unsatisfiable programs
- Move rules to follow a preferred order
- Zoom in and out of parts of the graph
Installation
viASP is available as a conda package. You can install it with:
conda install viasp -c potassco -c conda-forge -c stephanzwicknagl
Alternatively, viASP is also available on PyPI. You can install it with pip:
pip install viasp
:memo: | To support the use of clingraph in viASP, install graphviz (version 2.50 or greater) manually. |
---|
Usage
Consider the file hamiltonian.lp
:
node(1..4). start(1).
edge(1,2). edge(2,3). edge(2,4). edge(3,1).
edge(3,4). edge(4,1). edge(4,3).
{ hc(V,U) } :- edge(V,U).
reached(V) :- hc(S,V), start(S).
reached(V) :- reached(U), hc(U,V).
:- node(V), not reached(V).
:- hc(V,U), hc(V,W), U!=W.
:- hc(U,V), hc(W,V), U!=W.
To start a visualization from the command line, run:
viasp hamiltonian.lp
Check out the documentation to see a full description on how to use viASP.
Examples
An introduction to viASP's features is given in the notebook. The examples folder shows a variety of scripts that run viASP.
Contributing
See the documentation page to see how to contribute.
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
viasp-2.1.2.tar.gz
(8.5 kB
view hashes)
Built Distribution
viasp-2.1.2-py3-none-any.whl
(7.1 kB
view hashes)