libz3-dev
theorem prover from Microsoft Research - development files
Binary packages in unstable
| Architecture | Version | Section | Installed size |
|---|---|---|---|
| amd64 | 4.13.3-1.1 | libdevel | 600 kB |
| arm64 | 4.13.3-1.1 | libdevel | 600 kB |
| armhf | 4.13.3-1.1 | libdevel | 600 kB |
| i386 | 4.13.3-1.1 | libdevel | 600 kB |
| loong64 | 4.13.3-1.1 | libdevel | 600 kB |
| ppc64el | 4.13.3-1.1 | libdevel | 600 kB |
| riscv64 | 4.13.3-1.1 | libdevel | 600 kB |
| s390x | 4.13.3-1.1 | libdevel | 600 kB |
Description
theorem prover from Microsoft Research - development files
Dependencies amd64
- Depends
- libz3-4 (= 4.13.3-1.1)
Source package
- Name
- z3
- Version
- 4.13.3-1.1
- Maintainer
- LLVM Packaging Team
- Homepage
- https://github.com/Z3Prover/z3
- Repository
- https://salsa.debian.org/pkg-llvm-team/z3
Bugs (2 open)
Each bug opens in the Debian bug tracking system, which holds its message log and current state.