lark>=1.3.1
z3-solver>=4.15.5
wasmtime>=46.0.1

[dev]
pytest>=9.1.1
pytest-cov>=7.1.0
pytest-xdist>=3.6
mypy>=2.3.0
ruff>=0.15.21
pre-commit>=4.6.0
pip-licenses>=5.5.5
veralang[lsp]

[lsp]
pygls>=2.0
lsprotocol>=2023.0

[mutation]
veralang[dev]
mutmut>=3.6
pytest-timeout>=2.4
matplotlib>=3.7
