On Sun Sep 16, 2018 at 08:56:14PM +0200, Fabian Raetz wrote:
> Hi all.
>
> Attached is a new port for Solidity [0]. Normaly I use the Solidity compiler
> from NPM in combination with truffle [1]. However, the version from NPM
> does not support the SMT solver feature through Z3 or CVC4 which is wh
Hi all.
Attached is a new port for Solidity [0]. Normaly I use the Solidity compiler
from NPM in combination with truffle [1]. However, the version from NPM
does not support the SMT solver feature through Z3 or CVC4 which is why
i'm interested in a native Solidity compiler package with the SMT sol