PyPI page
Home page
Author:
None
License:
GNU AFFERO GENERAL PUBLIC LICENSE
Version 3, 19 November 2007
Copyright (C) 2007 Free Software Foundation, Inc. <https://fsf.org/>
Everyone is...
Summary:
Abstract type inference for smart contracts
Latest version:
0.0.3
Required dependencies:
argparse
|
crytic-compile
|
solc-select
|
z3-solver
Downloads last day:
0
Downloads last week:
5
Downloads last month:
27