Base Package: mingw-w64-z3
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
- Upstream URL:
- https://github.com/Z3Prover/z3
- License(s):
- MIT
- Version:
- 4.12.1-1
- GIT Version:
- 4.12.1-1
- Arch Linux:
- 4.12.1
- AUR:
- 4.8.9.r232.gfae948130
- Binary Packages: