z3version Documentation on ocaml.org
Z3 solver
| Author | MSR |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/Z3prover/z3 |
| Issue Tracker | https://github.com/Z3prover/z3/issues |
| Maintainer | weng@cs.jhu.edu |
| Dependencies | |
| Conflicts | |
| Source [http] | https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.13.3.tar.gz sha256=f59c9cf600ea57fb64ffeffbffd0f2d2b896854f339e846f48f069d23bc14ba0 sha512=c899f57d8cb5450801463b07cd651869d766a920e41a4beedc96c4978e940bfadff9af2fbbb5ba10f94f6742bb33f7abaca0a351f3e1803d778e84d735d6829e |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/z3/z3.4.13.3/opam |
Required by
- asli>=0.2.0
- bap-primus-symbolic-executor<2.5.0
- catala=0.6.0
- hardcaml-lua
- kmt
- nuscrwith-test & >=2.0.0
- ocaml-sat-solvers>=0.7 & <0.8
- universo
