Update index.md

potassco · Nov 14, 2024 · 251f8b7 · 251f8b7
1 parent 6e5544f
commit 251f8b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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