Search Criteria
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: | |
| Conflicts: | |
| Provides: | |
| Submitter: | kaptoxic |
| Maintainer: | kaptoxic |
| Last Packager: | kaptoxic |
| Votes: | 5 |
| Popularity: | 0.104998 |
| First Submitted: | 2016-11-20 05:20 |
| Last Updated: | 2016-11-20 05:22 |
Dependencies (3)
- gcc-libs (gcc-libs-git, gcc-libs-multilib-git, gcc-libs-multilib-x32, gcc-libs-multilib)
- python (make)
- python (optional) – Z3 bindings for python
Required by (6)
- cryptol (requires z3)
- fstar (requires z3)
- fstar-bin (requires z3)
- fstar-git (requires z3)
- stormchecker (requires z3)
- stormchecker-git (requires z3)