From 85a22c761d46c682b4655d6564c7e6493f5fd248 Mon Sep 17 00:00:00 2001 From: Yangge Li Date: Sat, 28 Sep 2024 15:42:33 -0500 Subject: [PATCH] lose requirement for z3 nd matplotlib --- requirements.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/requirements.txt b/requirements.txt index 3ec06952..f54b6281 100644 --- 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