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: | 6 |
| Popularity: | 0.386595 |
| First Submitted: | 2016-11-20 05:20 |
| Last Updated: | 2016-11-20 05:22 |
Dependencies (3)
- gcc-libs (gcc-libs-multilib-x32, gcc-libs-git, gcc-libs-multilib-git, gdc-gcc)
- python (make)
- python (optional) – Z3 bindings for python
Required by (10)
- cryptol-git (requires z3) (make)
- klee (requires z3)
- python2-claripy (requires z3)
- root (requires z3) (optional)
- root-dev (requires z3) (optional)
- root-extra (requires z3) (optional)
- root-extra-dev (requires z3) (optional)
- saw-script-git (requires z3)
- stormchecker (requires z3)
- stormchecker-git (requires z3)