Merge branch 'develop' of github.com:potassco/eclingo into develop

potassco · May 24, 2022 · 4f9284e · 4f9284e
2 parents f4f5f47 + 807ab84
commit 4f9284e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,7 +1,7 @@
 # Changes
 
-## eclingo 0.2.1
+## eclingo 0.4
   * allows to use "not" inside epistemic literals. Now "a :- &k{ not b}." is a valid program.
-  * works with (and requires) clingo 5.5 and python 3.8.
+  * works with (and requires) clingo 5.5.2 and python 3.9.
   * Semantics K14 is not supported in this version.
   * Grounding is done only once instead of twice.