Add Python 3.14 and mark CVC5 1.3.1 as a dep

Author: florianschanda

.github/workflows/lint.yml

@@ -16,10 +16,10 @@ jobs:
 
     steps:
       - uses: actions/checkout@v5
-      - name: Set up Python 3.13
-        uses: actions/setup-python@v3
+      - name: Set up Python 3.14
+        uses: actions/setup-python@v6
         with:
-          python-version: "3.13"
+          python-version: "3.14"
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip

.github/workflows/test.yml

@@ -13,7 +13,7 @@ jobs:
   build:
     strategy:
       matrix:
-        py-version: ["3.8", "3.9", "3.10", "3.11", "3.12", "3.13"]
+        py-version: ["3.8", "3.9", "3.10", "3.11", "3.12", "3.13", "3.14"]
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v5
@@ -23,7 +23,7 @@ jobs:
           unzip cvc5-Linux-x86_64-static.zip
           sudo cp cvc5-Linux-x86_64-static/bin/cvc5 /usr/local/bin
       - name: Set up Python ${{ matrix.py-version }}
-        uses: actions/setup-python@v3
+        uses: actions/setup-python@v6
         with:
           python-version: ${{ matrix.py-version }}
       - name: Install dependencies

setup.py

@@ -47,7 +47,7 @@
     license="GNU General Public License v3",
     packages=["pyvcg", "pyvcg.driver"],
     extras_require={
-        "api": ["cvc5==1.3.0"],
+        "api": ["cvc5==1.3.1"],
     },
     python_requires=">=3.8",
     classifiers=[