requirements.txt

numpy~=1.22.3
scipy~=1.8.0
matplotlib~=3.4.3
polytope~=0.2.3
pyvista~=0.32.1
networkx~=2.8
sympy~=1.6.2
six~=1.14.0
astunparse~=1.6.3
treelib~=1.6.1
z3-solver~=4.8.17.0
igraph~=0.9.10