Base Package: mingw-w64-z3

Z3 is a high-performance theorem prover being developed at Microsoft Research (mingw-w64)
Group(s):
-
Repo(s):
mingw32, mingw64
Upstream URL:
https://github.com/Z3Prover/z3
License(s):
MIT
Version:
4.8.8-1
GIT Version:
4.8.8-1
Arch Linux:
4.8.8

Binary Packages:
Last Update: 2020-07-11 19:19:21