lose requirement for z3 nd matplotlib

AutoVerse-ai · Sep 28, 2024 · 85a22c7 · 85a22c7
1 parent 081fa85
commit 85a22c7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/requirements.txt b/requirements.txt
@@ -3,7 +3,7 @@ astunparse~=1.6.3
 beautifulsoup4~=4.11.1
 intervaltree~=3.1.0
 lxml~=4.9.1
-matplotlib~=3.4.3
+matplotlib
 numpy~=1.24
 plotly~=5.8.2
 polytope~=0.2.3
@@ -14,7 +14,7 @@ six~=1.14.0
 sympy~=1.6.2
 torch~=1.13.1
 tqdm~=4.64.1
-z3-solver~=4.8.17.0
+z3-solver
 treelib~=1.6.1
 portion~=2.3.1
 graphviz~=0.20