libz3-4
theorem prover from Microsoft Research - runtime libraries
Binary packages in oldstable
| Architecture | Version | Section | Installed size |
|---|---|---|---|
| amd64 | 4.8.12-3.1 | libs | 22,767 kB |
| arm64 | 4.8.12-3.1 | libs | 21,607 kB |
| armel | 4.8.12-3.1 | libs | 20,168 kB |
| armhf | 4.8.12-3.1 | libs | 13,752 kB |
| i386 | 4.8.12-3.1 | libs | 24,684 kB |
| mips64el | 4.8.12-3.1 | libs | 29,617 kB |
| mipsel | 4.8.12-3.1 | libs | 27,951 kB |
| ppc64el | 4.8.12-3.1 | libs | 29,351 kB |
| s390x | 4.8.12-3.1 | libs | 24,279 kB |
Description
theorem prover from Microsoft Research - runtime libraries
Dependencies amd64
- Depends
- libc6 (>= 2.34), libgcc-s1 (>= 3.4), libstdc++6 (>= 12)
Source package
- Name
- z3
- Version
- 4.8.12-3.1
- Maintainer
- LLVM Packaging Team
- Homepage
- https://github.com/Z3Prover/z3
- Repository
- https://salsa.debian.org/pkg-llvm-team/z3
Bugs (0 open)
No matching bugs recorded in this snapshot.