Search Criteria
Package Details: z3-stable-git 4.8.4.g05663592e-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/z3-stable-git.git (read-only, click to copy) |
|---|---|
| Package Base: | z3-stable-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: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2015-05-18 12:56 (UTC) |
| Last Updated: | 2019-03-12 14:50 (UTC) |