z3version

Z3 solver

AuthorMSR
LicenseMIT
Published
Homepagehttps://github.com/Z3prover/z3
Issue Trackerhttps://github.com/Z3prover/z3/issues
Maintainersimon@aestheticintegration.com
Dependencies
Source [http] https://github.com/Z3Prover/z3/archive/z3-4.8.9.tar.gz
sha256=c9fd04b9b33be74fffaac3ec2bc2c320d1a4cc32e395203c55126b12a14ff3f4
sha512=a50da5c3f9e27d3e804c1b71f648a3dbd5a55223b7344d66f191a1b34a4d787810abd976840d3ab3878aaf5c96d89f5a517cac0781b82aa927a9d8d54836d54f
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/z3/z3.4.8.9-1/opam
Required by
Optionally used by