a visualization tool for clingo.
Project description
viASP
viASP visualizes an interactive explanation 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.
Usage
Check out the documentation to see 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.0.tar.gz
(7.7 kB
view hashes)
Built Distribution
viasp-2.0.0-py3-none-any.whl
(6.7 kB
view hashes)