viASP: An interactive ASP visualizer

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.

Contents:

• Installation
  • Installing with conda
  • Installing with pip
  • Installing from source
• Command line functionality
  • Loading Programs
  • Clingraph
  • Relaxer
  • Other options
• Python Usage
  • Quickstart script
  • Extending arbitrary python scripts
• API Documentation
  • Exceptions
• Color Palette
• Contributing
  • Requirements
  • Getting started
  • Developing the backend
  • Developing the frontend