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-3
External:
Anitya
z3
Arch Linux
4.13.0
AUR
4.12.2.r453.g2354998cd
Gentoo
4.13.4
Repology
z3
Vulnerabilities:
Not enough metadata for vulnerability reporting

Binary Packages:
ucrt64
clang64
clangarm64
mingw64
mingw32
Last Update: 2024-12-21 12:44:58 [Request update]