Surya

A set of utilities for exploring Solidity contracts