Merge pull request #52 from susuhahnml/sh/clingraph

Clinguin and clingraph systems

clingraph.md

@@ -0,0 +1,25 @@
+---
+layout: page
+title: clingraph
+permalink: /clingraph/
+---
+
+clingraph is a tool which takes graph specifications in terms of ASP facts and hands them over to the graph visualization system [graphviz](https://graphviz.org/).
+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](https://github.com/potassco/clingraph).
+
+# Documentation
+
+- [Documentation webpage](https://clingraph.readthedocs.io/en/latest/)
+
+# Citing
+
+- Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann
+  [Clingraph: A System for ASP-based Visualization]({{ site.publicationurl }}/#DBLP:journals/corr/abs-2303-10118), TPLP, 2023

clinguin.md

@@ -0,0 +1,22 @@
+---
+layout: page
+title: clinguin
+permalink: /clinguin/
+---
+
+clinguin is a tool which enables ASP developers to create interactive User Interface (UI) prototypes using only ASP.
+UIs are defined as sets of facts, which are then rendered by a frontend to provide continuous interaction with ASP solvers based on user-triggered events.
+
+
+# Download
+
+- Source code and binary releases are on github: [github.com/potassco/clinguin](https://github.com/potassco/clinguin).
+
+# Documentation
+
+- [Documentation webpage](https://clinguin.readthedocs.io/en/latest/)
+
+# Citing
+
+- Alexander Beiser, Susana Hahn, Torsten Schaub
+  ASP-driven User-interaction with Clinguin, ICLP-TC, 2024

index.md

@@ -30,6 +30,8 @@ To find out more about a specific system and a download link, follow one of the
 * [clingcon](/clingcon/) extends clingo with constraint solving capabilities.
 * [aspcud](/aspcud/) is a solver for package dependencies.
 * [asprin](/asprin/) is a general framework for qualitative and quantitative optimization in ASP.
+* [clingraph](/clingraph/) is a tool for visualizing answer sets.
+* [clinguin](/clinguin/) is a tool for creating User Interfaces in ASP.
 
 # Development