numpy
pandas
scipy
scikit-learn>=1.2
networkx
sympy
z3-solver

[dev]
pytest
pytest-cov
ruff
