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
hypothesis>=6.100
mypy>=1.10

[ltlf]

[neural]
onnx==1.22.0

[pdf]
pdfminer.six==20250506

[proposer]
