z3version

Z3 solver

AuthorMSR
LicenseMIT
Published
Homepagehttps://github.com/Z3prover/z3
Issue Trackerhttps://github.com/Z3prover/z3/issues
Maintainerweng@cs.jhu.edu
Dependencies
Conflicts
Source [http] https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.12.2.tar.gz
sha256=9f58f3710bd2094085951a75791550f547903d75fe7e2fcb373c5f03fc761b8f
sha512=375477cbbc9837b44e752c89916409d07bf6a73830b52878aab4f376f08b37dd5ab485da225744d394ab15f2a7e1014edc3be5eb9962934c440a8d55259317e2
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/z3/z3.4.12.2/opam
Required by
Optionally used by