a visualization tool for clingo.
Project description
viASP
viASP generates an interactive visualization of your ASP program and its stable models
viASP allows you to explore the visualization in a variety of ways:
- Inspect iterations of recursive rules individually
- Explain the derivation of symbols with arrows
- Relax the constraints of unsatisfiable programs
- Toggle parts of the program
- Show the added symbols or all of them
- Inspect a single model
- Add
#show
statements on the fly - Search models, signatures and rules.
Installation
viASP is available on PyPI. You can install it with pip:
pip install viasp
Usage
To start a visualization from the command line, run:
viasp path/to/encoding.lp
Check out the documentation to see more 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.0.1.tar.gz
(7.9 kB
view hashes)
Built Distribution
viasp-2.0.1-py3-none-any.whl
(6.8 kB
view hashes)