PyPI page
Home page
Author:
a16z crypto
Summary:
A symbolic testing tool for EVM smart contracts
Latest version:
0.3.3
Required dependencies:
eth_hash
|
psutil
|
python-dotenv
|
requests
|
rich
|
sortedcontainers
|
toml
|
xxhash
|
yices-solver
|
z3-solver
Optional dependencies:
pre-commit
|
pytest
|
ruff
Downloads last day:
1,398
Downloads last week:
6,027
Downloads last month:
21,612