Fixed CI

.github/workflows/ci-test.yml

@@ -23,16 +23,21 @@ jobs:
     - name: "checkout repository"
       uses: actions/checkout@v3
 
-    - name: "setup python 3.7"
+    - name: "setup python 3.9"
       uses: actions/setup-python@v4
       with:
-        python-version: 3.7
+        python-version: 3.9
 
     - name: "setup python 3.11"
       uses: actions/setup-python@v4
       with:
         python-version: 3.11
-
+
+    - name: "setup python 3.12"
+      uses: actions/setup-python@v4
+      with:
+        python-version: 3.12
+
     - name: install nox
       run: python -m pip install nox
 

noxfile.py

@@ -7,7 +7,7 @@
 EDITABLE_TESTS = True
 PYTHON_VERSIONS = None
 if "GITHUB_ACTIONS" in os.environ:
-    PYTHON_VERSIONS = ["3.11"]
+    PYTHON_VERSIONS = ["3.12", "3.11", "3.9"]
     EDITABLE_TESTS = False
 
 

pyproject.toml

@@ -11,12 +11,12 @@ authors = [
     { name = "Hannes Weichelt", email = "[email protected]" }
 ]
 description = "A template project."
-requires-python = ">=3.11"
+requires-python = ">=3.9"
 license = {file = "LICENSE"}
 dynamic = [ "version" ]
 readme = "README.md"
 dependencies = [
-	"clingo>=5.6.0",
+	"clingo>=5.7.1",
     "autoflake",
 ]
 
@@ -79,7 +79,7 @@ source = ["clingexplaid", "tests"]
 omit = [
     "*/clingexplaid/__main__.py",
     "*/clingexplaid/cli/*",
-    "*/clingexplaid/propagators/__init__.py",
+    "*/clingexplaid/propagators/*",
     "*/clingexplaid/transformers/__init__.py",
     "*/clingexplaid/muc/__init__.py",
     "*/clingexplaid/unsat_constraints/__init__.py",

src/clingexplaid/utils/__init__.py

@@ -82,7 +82,7 @@ def get_constants_from_arguments(argument_vector: List[str]) -> Dict[str, str]:
     for element in argument_vector:
         if next_constant:
             result = re.search(r"(.*)=(.*)", element)
-            if result is None or len(result.groups()) == 0:
+            if result is None:
                 continue
             constants[result.group(1)] = result.group(2)
             next_constant = False