Package Details: z3-stable-git 4.8.4.g05663592e-1

Git Clone URL: https://aur.archlinux.org/z3-stable-git.git (read-only)
Package Base: z3-stable-git
Description: Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github)
Upstream URL: https://github.com/Z3Prover/z3
Licenses: MIT
Conflicts: z3-bin
Submitter: Ice_Phoenix
Maintainer: Ice_Phoenix
Last Packager: Ice_Phoenix
Votes: 0
Popularity: 0.000000
First Submitted: 2015-05-18 12:56
Last Updated: 2019-03-12 14:50

Dependencies (2)

Required by (0)

Sources (1)