numpy>=1.24
sympy>=1.12
networkx>=3.0
# Discovery only, not needed by the accepted witness replay:
scipy>=1.10
