tianhan0/sv-opam

Repository for OPAM packages related to software verification

sv-opam

Repository for OPAM packages related to software verification.

To install Z3, you will require a (very) recent release of git.