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.12.1-2
GIT Version:
4.12.1-2
Arch Linux:
4.12.2
AUR:
4.12.2.r453.g2354998cd

Binary Packages:
Last Update: 2023-12-10 06:22:45 [Request update]