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.

viASP offers a command line interface and a python API.

Explore ASP programs and their answer sets with viASP:

• Follow the derivation of answer sets step-by-step

• Explain the derivation of individual atoms

• Inspect iterations of recursive rules

• Relax and visualize unsatisfiable programs

• Reorder rules

• Zoom in and out of parts of the graph (press Shift and scroll or +/-)

Contents:

• Installation
  • Installing with pip
  • Installing from source
• Command line functionality
  • Loading Programs
  • Optimization
  • Clingraph
  • Relaxation
  • Other options
• Python Usage
  • Quickstart script
  • Extending arbitrary python scripts
• API Documentation
  • load_program_file()
  • load_program_string()
  • add_program_file()
  • add_program_string()
  • mark_from_clingo_model()
  • mark_from_string()
  • mark_from_file()
  • unmark_from_clingo_model()
  • unmark_from_string()
  • unmark_from_file()
  • clear()
  • show()
  • get_relaxed_program()
  • relax_constraints()
  • clingraph()
  • register_transformer()
  • Exceptions
• Configuration
  • Graph Interaction
  • String output and Localization
  • Color Palette
• How it Works
  • Architecture
  • viASP Graph generation
  • Command Line Tool
  • React Frontend
• Contributing
  • Requirements
  • Getting started
  • Developing the backend
  • Developing the frontend
  • Developing the documentation