| FileName | libz3-4_4.8.12-1+b1_arm64.deb |
| FileSize | 6165388 |
| MD5 | E48220405BDC1E1FD2159CCF9666E4D4 |
| PackageDescription | 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. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-4 |
| PackageSection | libs |
| PackageVersion | 4.8.12-1+b1 |
| RDS:package_id | 288589 |
| SHA-1 | 77C4C944AC2F8315D6B65D5909AEDEE9DBCDEA12 |
| SHA-256 | 7A33472E9733A62DA0AD1109D0018307701FD68245B87AC0ACAC262AFAF01DC9 |
| insert-timestamp | 1670545132.359495 |
| source | modern.db |