viASP generates interactive explanations of ASP programs and their stable models. A step-by-step break-down shows how the atoms of the stable models are derived.
To use viASP the programs have to executed them using the clingo python API.
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.
viasp/installation viasp/commandline viasp/usage viasp/api viasp/colorPalette viasp/contributing