From 251f8b7ac708409dd4b906d5c8879358ad314e20 Mon Sep 17 00:00:00 2001 From: Roland Kaminski Date: Thu, 14 Nov 2024 10:52:38 +0100 Subject: [PATCH] Update index.md --- index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.md b/index.md index 01d52ba..3be863e 100644 --- a/index.md +++ b/index.md @@ -30,7 +30,7 @@ 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 ASP encodings using ASP. +* [clingraph](/clingraph/) is a tool for visualizing answer sets. * [clinguin](/clinguin/) is a tool for creating User Interfaces in ASP. # Development