forked from mirrors/nixpkgs
e639f24681
It is an optional dependency, which defaults to true. https://solidity.readthedocs.io/en/latest/installing-solidity.html#smt-solvers |
||
---|---|---|
.. | ||
patches | ||
default.nix |