Package Details: z3-java 4.8.6-1

Git Clone URL: https://aur.archlinux.org/z3-java.git (read-only, click to copy)
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
Submitter: Sebastian
Maintainer: Sebastian
Last Packager: Sebastian
Votes: 0
Popularity: 0.000000
First Submitted: 2017-11-05 13:31 (UTC)
Last Updated: 2019-10-09 11:37 (UTC)

Dependencies (4)

Required by (43)

Sources (1)