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