| FileName | libz3-dev_4.8.12-1+b1_arm64.deb |
| FileSize | 92140 |
| MD5 | F2C7F9861C63C9A1F51BADA4BDFBDC24 |
| PackageDescription | theorem prover from Microsoft Research - development files
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 can be used to invoke Z3 via its C++ API. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-dev |
| PackageSection | libdevel |
| PackageVersion | 4.8.12-1+b1 |
| RDS:package_id | 288589 |
| SHA-1 | F37510C7D583B6E37F62D9557FCC9AB1FD8B0243 |
| SHA-256 | 7EF5D164438A1815E168BA61A54AE51CC63A53CFC9F02A250763D9F28438831C |
| insert-timestamp | 1670545132.396561 |
| source | modern.db |