Skip to content

Latest commit

 

History

History
60 lines (40 loc) · 2.21 KB

README.md

File metadata and controls

60 lines (40 loc) · 2.21 KB
Raw

viASP

Build and Test Documentation Status

viASP generates interactive visualizations of ASP encodings and stable models

Example visualization

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 (press Shift and scroll)

Installation

viASP is available as a PyPI package. You can install it with:

pip install viasp
📝 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.