Skip to main content

A visualizer for graphs defined as facts with special integration for clingo

Project description

clingraph

A declarative visualizer for graphs defined as a set of facts. The graphs are generated using graphviz but are defined via fixed predicates that can be computed from logic programs.

Graph defined by facts

node(clingraph). node(visual). node(asp).
edge((clingraph,visual)). edge((clingraph,asp)).
attr(node,clingraph,style,filled).

Visualization

Clingraph also contains special features for integration with clingo, as well as for generating latex code and gifs!

Check out our paper here. This work was published in LPNMR22 where it recived the "Best student paper award".

Usage

Look at our documentation page to see how to use clingraph.

Try clingraph via command line or as a package online in a jupyter notebook via Binder

Examples

Our examples folder shows how to use the range of functionalities in different applications.

Installation

Requirements

  • Python (version 3.8, 3.9, or 3.10)

For instructions to install from source, pip and conda see our documentation page.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

clingraph-1.1.2.tar.gz (20.6 kB view hashes)

Uploaded Source

Built Distribution

clingraph-1.1.2-py3-none-any.whl (22.7 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page