Merge pull request #108 from CITCOM-project/somers/z3-fix

rsomers1998 · web-flow · commit 6e9a36916ad5 · 2022-11-30T15:54:10.000Z
z3 dependency fix
diff --git a/setup.py b/setup.py
@@ -11,7 +11,7 @@
     "scipy~=1.7.3",
     "statsmodels~=0.13.2",
     "tabulate~=0.8.10",
-    "z3_solver~=4.8.13.0",
+    "z3_solver~=4.11.2",
 ]
 
 # Additional dependencies for development

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@`
`11`	`11`	`"scipy~=1.7.3",`
`12`	`12`	`"statsmodels~=0.13.2",`
`13`	`13`	`"tabulate~=0.8.10",`
`14`		`- "z3_solver~=4.8.13.0",`
	`14`	`+ "z3_solver~=4.11.2",`
`15`	`15`	`]`
`16`	`16`
`17`	`17`	`# Additional dependencies for development`