PyPI page
Home page
Author:
Mojtaba Eshghie
License:
MIT
Summary:
SInDi: Semantic Invariant Differencing for Solidity Smart Contracts
Latest version:
0.2.1
Required dependencies:
colorama
|
pyyaml
|
sympy
|
z3-solver
Downloads last day:
2
Downloads last week:
7
Downloads last month:
18