Base Package: mingw-w64-z3
- Description:
- Z3 is a high-performance theorem prover being developed at Microsoft Research (mingw-w64)
- Base Group(s):
- -
- Repo(s):
- clang32, clang64, clangarm64, mingw32, mingw64, ucrt64
- Homepage:
- https://github.com/Z3Prover/z3
- License(s):
- MIT
- Version:
- 4.13.0-1
- GIT Version:
- 4.13.0-1
- Anitya:
- z3
- Arch Linux:
- 4.13.0
- AUR:
- 4.12.2.r453.g2354998cd
- Gentoo:
- 4.13.0
- Repology:
- z3
- Vulnerabilities:
- Not enough metadata for vulnerability scanning
- Binary Packages: