Package Details: z3-bin 4.5.0-2

Git Clone URL: https://aur.archlinux.org/z3-bin.git (read-only)
Package Base: z3-bin
Description: An automatic high-performance theorem prover
Upstream URL: http://research.microsoft.com/en-us/um/redmond/projects/z3
Licenses: MIT
Conflicts: z3, z3-codeplex, z3-git
Provides: z3
Submitter: kaptoxic
Maintainer: kaptoxic
Last Packager: kaptoxic
Votes: 5
Popularity: 0.100332
First Submitted: 2016-11-20 05:20
Last Updated: 2016-11-20 05:22

Dependencies (3)

Required by (6)

Sources (1)