Compiler for the Ethereum smart contract language, Solidity v0.5.15 with Z3 solver v4.8.7.
docker run --rm yuetloo/solc_z3 --version
docker run --rm -v /home/user/sources:/sources yuetloo/solc_z3 /sources/contract.sol
docker run --rm yuetloo/solc_z3 --help