clingraph is a tool which takes graph specifications in terms of ASP facts and hands them over to the graph visualization system graphviz. This tool offers:

• Integration with clingo
• A python API
• Multiple output formats such as pdf, svg, latex and gif

Download

• Source code and binary releases are on github: github.com/potassco/clingraph.

Documentation

• Documentation webpage

Citing

• Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann Clingraph: A System for ASP-based Visualization, TPLP, 2023