Hotfix for the broken CVC5

florianschanda · florianschanda · commit b8bee77b0f00 · 2023-08-23T15:00:20.000+02:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -10,6 +10,7 @@
 
 ### 1.0.3-dev
 
+* Pin to CVC5 1.0.5, as 1.0.7 is completely broken
 
 ### 1.0.2
 
diff --git a/setup.py b/setup.py
@@ -46,7 +46,7 @@
     project_urls=project_urls,
     license="GNU General Public License v3",
     packages=["pyvcg", "pyvcg.driver"],
-    install_requires=["cvc5>=1.0.5"],
+    install_requires=["cvc5==1.0.5"],
     python_requires=">=3.8, <=3.10",
     classifiers=[
         "Development Status :: 5 - Production/Stable",

Original file line number	Diff line number	Diff line change
`@@ -10,6 +10,7 @@`
`10`	`10`
`11`	`11`	`### 1.0.3-dev`
`12`	`12`
	`13`	`+* Pin to CVC5 1.0.5, as 1.0.7 is completely broken`
`13`	`14`
`14`	`15`	`### 1.0.2`
`15`	`16`