Upgrade CVC5 and support Python 3.12

Author: florianschanda

.github/workflows/lint.yml

@@ -21,10 +21,10 @@ jobs:
           uri: 'https://github.com/cvc5/cvc5/releases/download/cvc5-1.0.8/cvc5-Linux'
           name: 'cvc5'
           version: '1.0.8'
-      - name: Set up Python 3.9
+      - name: Set up Python 3.12
         uses: actions/setup-python@v3
         with:
-          python-version: "3.9"
+          python-version: "3.12"
       - 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"]
+        py-version: ["3.8", "3.9", "3.10", "3.11", "3.12"]
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3

requirements.txt

@@ -1,4 +1,4 @@
-cvc5==1.2.0
+cvc5==1.3.0
 coverage
 pylint
 pycodestyle

setup.py

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