Package Details: z3-java 4.5.0-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.5.0
Submitter: Sebastian
Maintainer: Sebastian
Last Packager: Sebastian
Votes: 0
Popularity: 0.000000
First Submitted: 2017-11-05 13:31
Last Updated: 2017-11-05 13:31