jpype1==1.7.1
mypy==1.5.0
toposort==1.10

[:platform_machine != "arm64" and platform_machine != "ARM64" and platform_machine != "aarch64"]
z3-solver==4.8.7.0

[:platform_machine == "arm64" or platform_machine == "ARM64" or platform_machine == "aarch64"]
z3-solver==4.16.0.0

[lsp]
pygls>=1.3.0

[mcp]
mcp>=1.2.0

[server]
pyzmq==27.1.0

[test]
pytest==9.1.1
