Package: libz3-4
Version: 4.8.12-3.1 amd64
Source: z3
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.4), libstdc++6 (>= 12)
Description:
theorem prover from Microsoft Research - runtime libraries Z3 is a state-of-the-art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . This package contains runtime libraries. You shouldn't have to install it manually.
Download
Recent Updates
Latest updated packages. View more here.
| Arch | Name | Version | Date |
|---|---|---|---|
| amd64 | hyperv-daemons | 6.12.22-1~bpo12+1 | 2025-05-13 17:33:53 |
| all | linux-libc-dev | 6.12.22-1~bpo12+1 | 2025-05-13 17:29:38 |
| amd64 | linux-image-6.12.22+bpo-amd64-unsigned | 6.12.22-1~bpo12+1 | 2025-05-13 06:10:07 |
| amd64 | openbosniana-kernel-bootfiles-6.12.22+bpo-amd64-unsigned | 6.12.22-1~bpo12+1 | 2025-05-13 06:08:16 |
| all | openbosniana-kernel-bootfiles-unsigned | 2025.05.14 | 2025-05-13 05:39:25 |
| all | openbosniana-kernel-bootfiles-signed | 2025.05.14 | 2025-05-13 05:35:16 |
| amd64 | openbosniana-kernel-bootfiles-6.12.22+bpo-amd64 | 6.12.22-1~bpo12+1 | 2025-05-13 05:32:38 |
| amd64 | linux-kbuild-6.12.22+bpo | 6.12.22-1~bpo12+1 | 2025-05-13 05:32:37 |
| amd64 | linux-image-6.12.22+bpo-amd64 | 6.12.22-1~bpo12+1 | 2025-05-13 05:32:37 |
| all | linux-headers-6.12.22+bpo-common | 6.12.22-1~bpo12+1 | 2025-05-13 05:32:33 |
| amd64 | linux-headers-6.12.22+bpo-amd64 | 6.12.22-1~bpo12+1 | 2025-05-13 05:32:32 |
| amd64 | openbosniana-kernel-bootfiles-6.12.12+bpo-amd64 | 6.12.12-1~bpo12+1 | 2025-05-13 02:40:46 |
