Package Details: z3-unstable-git 20150413-1

Git Clone URL: https://aur.archlinux.org/z3-unstable-git.git (read-only)
Package Base: z3-unstable-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: 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: http://leodemoura.github.io/blog/2012/12/10/z3-for-java.html.

yourealwaysbe commented on 2014-10-23 17:00

The unstable branch also contains java libraries ( ) which can be obtained by changing the call to mk_make.py to add a "--java" flag, and then copying the libz3java.so 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.