| FileName | libz3-dev_4.8.12-1+b1_i386.deb |
| FileSize | 92120 |
| MD5 | 9930E24966721F716BD9CCE0D915AE8E |
| 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 | 288588 |
| SHA-1 | 8170D1209D41D8DF284B22B3D91A3DE7F67041B7 |
| SHA-256 | 202CDDF26C95BF59CB0788AFCAC5481E989BB3166BE9230B176FFAC36CF362D1 |
| insert-timestamp | 1670545128.6205502 |
| source | modern.db |