BUmp z3 version to 4.12.6.0

tpaviot · Feb 25, 2024 · 02e9564 · 02e9564
1 parent aecdf3d
commit 02e9564
Show file tree

Hide file tree

Showing 5 changed files with 97 additions and 97 deletions.
diff --git a/environment.yml b/environment.yml
@@ -5,7 +5,7 @@ dependencies:
   - pip
   - python=3.10
   - pip:
-    - z3-solver==4.12.5.0
+    - z3-solver==4.12.6.0
     - matplotlib
     - plotly
     - kaleido