nesyarena==0.1.0
rtamt==0.3.5
z3-solver==5.0.0.0

[dev]
pytest>=8.0
pytest-cov>=5.0
ruff>=0.4
