Base Package: mingw-w64-z3
A newer upstream version (4.14.1)
is available.
Consider packaging the new version for MSYS2 as well. See the packaging guide for how to help.
Consider packaging the new version for MSYS2 as well. See the packaging guide for how to help.
- 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.4-1
- External:
-
- Anitya
- z3
- Arch Linux
- 4.14.1
- AUR
- 4.12.2.r453.g2354998cd
- Gentoo
- 4.14.1
- Repology
- z3
- Vulnerabilities:
- Not enough metadata for vulnerability reporting
- Binary Packages:
-
- ucrt64
- clang64
- clangarm64
- mingw64
- mingw32