Package Details: z3-java 4.8.6-1

Git Clone URL: https://aur.archlinux.org/z3-java.git (read-only)
Package Base: z3-java
Description: A high-performance theorem prover (with java bindings)
Upstream URL: https://github.com/Z3Prover/z3
Licenses: MIT
Conflicts: z3
Provides: z3=4.8.6
Submitter: Sebastian
Maintainer: Sebastian
Last Packager: Sebastian
Votes: 0
Popularity: 0.000000
First Submitted: 2017-11-05 13:31
Last Updated: 2019-10-09 11:37

Dependencies (4)

Required by (19)

Sources (1)