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