z3-solver>=4.12.0
pydantic>=2.0.0
icontract>=2.6.0

[accel-cpu]
numpy>=1.20.0
numba>=0.58.0
scipy>=1.10.0

[accel-gpu]
numpy>=1.20.0
cupy-cuda12x>=13.0.0
scipy>=1.10.0

[accelerate]
numpy>=1.20.0
numba>=0.58.0
cupy-cuda12x>=13.0.0
scipy>=1.10.0

[all]
pysymex[dev,gpu]

[dev]
pytest>=7.0
pytest-xdist>=3.0
pytest-cov>=4.0
hypothesis>=6.0
black>=23.0
ruff>=0.1.0
mypy>=1.0

[gpu]
numpy>=1.20.0
numba>=0.58.0
cupy-cuda12x>=13.0.0
scipy>=1.10.0

[gpu-cuda]
numpy>=1.20.0
cupy-cuda12x>=13.0.0
scipy>=1.10.0
