Move to CVC 1.3.2

Author: florianschanda

.github/workflows/test.yml

@@ -19,7 +19,7 @@ jobs:
       - uses: actions/checkout@v5
       - name: Install CVC5
         run: |
-          wget -q https://github.com/cvc5/cvc5/releases/download/cvc5-1.3.1/cvc5-Linux-x86_64-static.zip
+          wget -q https://github.com/cvc5/cvc5/releases/download/cvc5-1.3.2/cvc5-Linux-x86_64-static.zip
           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 }}

CHANGELOG.md

@@ -14,6 +14,8 @@
   with a single null constructor and a value constructor. However they
   come out correctly in Python as `null` or the actual value.
 
+* Move to CVC 1.3.2
+
 ### 1.0.9
 
 * Reject recursive trees. Thank you to Melody Ma for uncovering

requirements.txt

@@ -1,4 +1,4 @@
-cvc5==1.3.1
+cvc5==1.3.2
 coverage
 pylint
 pycodestyle

setup.py

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