sympy>=1.14
numpy>=2.0
scipy>=1.14
matplotlib>=3.9
pandas>=2.2
gmpy2>=2.2
z3-solver>=4.13
python-sat>=1.8
ecdsa>=0.19
coincurve>=20
statsmodels>=0.14
networkx>=3.3
pytest>=8
tabulate
pyyaml