py-solc
web3
