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.0-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
Last Update: 2024-10-14 07:58:11 [Request update]