r2pipe>=1.9.0
capstone>=5.0.0
keystone-engine>=0.9.2
pydantic>=2.0.0
rich>=13.0.0
typer>=0.9.0
pyyaml>=6.0.0

[all]
z3-solver>=4.12.0
networkx>=3.0
numpy>=1.24.0
scipy>=1.10.0
psutil>=5.9.0
cvc5>=1.0.0
pysmt>=0.9.0
claripy>=9.2.0
miasm>=0.1.0
unicorn>=2.0.0
qiling>=1.4.0
scikit-learn>=1.3.0
torch>=2.0.0
transformers>=4.30.0

[all:platform_system != "Windows"]
angr>=9.2.0
frida>=16.0.0
frida-tools>=12.0.0

[all:platform_system == "Linux"]
triton-library>=1.0.0rc4

[dev]
pytest>=7.4.0
pytest-cov>=4.1.0
pytest-mock>=3.11.1
black>=23.0.0
ruff>=0.1.0
mypy>=1.5.0
ipython>=8.12.0

[devirtualization]
miasm>=0.1.0
unicorn>=2.0.0
qiling>=1.4.0

[docs]
mkdocs>=1.5.0
mkdocs-material>=9.0.0
mkdocstrings[python]>=0.22.0

[enhanced]
z3-solver>=4.12.0
networkx>=3.0
numpy>=1.24.0
scipy>=1.10.0
psutil>=5.9.0

[enhanced:platform_system != "Windows"]
angr>=9.2.0
frida>=16.0.0
frida-tools>=12.0.0

[enhanced:platform_system == "Linux"]
triton-library>=1.0.0rc4

[machine-learning]
scikit-learn>=1.3.0
torch>=2.0.0
transformers>=4.30.0

[syntia]
cvc5>=1.0.0
pysmt>=0.9.0
claripy>=9.2.0
