Package Details: z3-unstable-git 20150413-1

Git Clone URL: (read-only, click to copy)
Package Base: z3-unstable-git
Description: Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github)
Upstream URL:
Licenses: MIT
Conflicts: z3-bin
Submitter: Ice_Phoenix
Maintainer: Ice_Phoenix
Last Packager: Ice_Phoenix
Votes: 1
Popularity: 0.000000
First Submitted: 2015-04-13 13:29
Last Updated: 2015-07-01 09:59

Dependencies (2)

Required by (0)

Sources (0)

Latest Comments

yourealwaysbe commented on 2014-10-23 17:00

Here's the link i missed for z3 java information:

yourealwaysbe commented on 2014-10-23 17:00

The unstable branch also contains java libraries ( ) which can be obtained by changing the call to to add a "--java" flag, and then copying the file to /usr/lib. Is it possible to add these to the PKGBUILD for this package? (Else i can just create a new package in the AUR.)

gagarski commented on 2014-04-22 14:14

Please add 'provides' and 'conflicts' to PKGBUILD.