Search Criteria
Package Details: z3-bin 4.5.0-2
| Git Clone URL: | https://aur.archlinux.org/z3-bin.git (read-only, click to copy) |
|---|---|
| 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.000000 |
| First Submitted: | 2016-11-20 05:20 |
| Last Updated: | 2016-11-20 05:22 |
Dependencies (3)
- gcc-libs (gcc-libs-multilib-x32, fastgcc, gcc-libs-multilib-git, gcc-libs-git)
- python (python-dbg) (make)
- python (python-dbg) (optional) – Z3 bindings for python
Required by (36)
- aomp-amdgpu (requires z3)
- clang+llvm-binaries (requires z3)
- cryptol-git (requires z3)
- fstar-ulib (requires z3)
- key-bin (requires z3) (optional)
- key-exe-bin (requires z3) (optional)
- key-nightly (requires z3) (optional)
- klee (requires z3) (make)
- klee (requires z3)
- llvm-amdgpu (requires z3)
- llvm-amdgpu-git (requires z3)
- llvm-git (requires z3) (make)
- llvm-libs-git (requires z3) (make)
- llvm-libs-git (requires z3)
- llvm-ocaml-git (requires z3) (make)
- openjml-bin (requires z3) (optional)
- pact (requires z3)
- picat (requires z3) (optional)
- python2-claripy (requires z3)
- root-cuda-py2 (requires z3) (make)
- root-py2 (requires z3) (make)
- rumur (requires z3) (check)
- rumur (requires z3) (optional)
- rumur-git (requires z3) (optional)
- rumur-git (requires z3) (check)
- saw-script-git (requires z3)
- solidity-git (requires z3) (optional)
- spark2014-git (requires z3) (optional)
- stormchecker (requires z3)
- stormchecker-git (requires z3)
- symbiyosys-git (requires z3) (optional)
- triton (requires z3)
- triton-git (requires z3)
- vampire (requires z3)
- zapcc (requires z3)
- zz-git (requires z3)