Merge branch 'main' of github.com:kwrx/qasp

kwrx · Aug 21, 2021 · 285aff0 · 285aff0
2 parents f2a72dd + ba771ec
commit 285aff0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/CITATION.cff b/CITATION.cff
@@ -4,8 +4,8 @@ authors:
 - family-names: "Natale"
   given-names: "Antonino"
   orcid: "https://orcid.org/0000-0002-6773-4039"
-title: "Quantifying over ASP"
+title: "Quantifying over ASP: design and implementation of ASP(Q) solver"
 version: 1.0.0
 doi: 10.5281/zenodo.5227172
 date-released: 2021-08-20
-url: "https://github.com/kwrx/qasp"
+url: "https://github.com/kwrx/qasp"