switched to newest clingo version

potassco · Apr 18, 2024 · 645d165 · 645d165
1 parent 7f46bc4
commit 645d165
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyproject.toml b/pyproject.toml
@@ -16,7 +16,7 @@ license = {file = "LICENSE"}
 dynamic = [ "version" ]
 readme = "README.md"
 dependencies = [
-	"clingo>=5.6.0",
+	"clingo==5.7.1",
     "autoflake",
 ]