Metadata-Version: 2.1
Name: manticore
Version: 0.2.0
Summary: Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
Home-page: https://github.com/trailofbits/manticore
Author: Trail of Bits
License: UNKNOWN
Description: UNKNOWN
Platform: UNKNOWN
Requires-Python: >=3.6
Provides-Extra: dev
Provides-Extra: dev-noks
Provides-Extra: redis
