Skip to main content

a visualization tool for clingo.

Project description

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

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


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)

Uploaded Source

Built Distribution

viasp-2.1.2-py3-none-any.whl (7.1 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page