automata-lib==4.0.0
cached-method==0.1.0
frozendict==2.4.0
mpmath==1.3.0
networkx==3.2.1
numpy==1.26.4
sympy==1.12
scipy==1.13.0
typing-extensions==4.9.0
tqdm==4.66.2
rich==13.7.1
