From 645d165f35b24f93741a9bd704a41847b47dd1c3 Mon Sep 17 00:00:00 2001
From: Hannes Weichelt <hweichelt@uni-potsdam.de>
Date: Thu, 18 Apr 2024 16:31:25 +0200
Subject: [PATCH] switched to newest clingo version

---
 pyproject.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pyproject.toml b/pyproject.toml
index c72ca97..01a1e36 100644
--- 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",
 ]