diff --git a/clingraph.md b/clingraph.md new file mode 100644 index 0000000..882fa4d --- /dev/null +++ b/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 diff --git a/clinguin.md b/clinguin.md new file mode 100644 index 0000000..8e92400 --- /dev/null +++ b/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 diff --git a/index.md b/index.md index 0a29a11..3be863e 100644 --- a/index.md +++ b/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