Support not just 3.13.0, but 3.13.x

#150

Author: BlueAndi

README.md

@@ -58,7 +58,7 @@ The Python implementation can be used for several purposes:
 ## Dependencies
 
 ### Run-time
-* 3.8 <= Python3 <= 3.13.*
+* 3.8 <= Python3 < 3.14
 * [PyVCG](https://pypi.org/project/PyVCG)
 * [PyPI CVC5](https://pypi.org/project/cvc5)
   (required when using the `--verify` option)

setup.py

@@ -43,7 +43,7 @@
     license="GNU General Public License v3",
     packages=setuptools.find_packages(),
     install_requires="PyVCG[api]==1.0.8",
-    python_requires=">=3.8, <=3.13.*",
+    python_requires=">=3.8, <3.14",
     classifiers=[
         "Development Status :: 5 - Production/Stable",
         "Environment :: Console",