| Key | Value |
|---|---|
| FileSize | 6125564 |
| MD5 | 57ECADC6BF2CE5F5FAD1D359A410F218 |
| PackageDescription | theorem prover from Microsoft Research 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. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | z3 |
| PackageSection | science |
| PackageVersion | 4.8.10-1 |
| SHA-1 | 50CA96A2974ED29BB58A09EA184895A1CD8A0EC0 |
| SHA-256 | 53D210E6090825EDCB4B0F4673BEA5BF29C527D266840F651553E2308251BAD9 |
| hashlookup:children-total | 6 |
| hashlookup:trust | 50 |
The searched file hash includes 6 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | changelog.Debian.gz |
| FileSize | 3612 |
| MD5 | 44CEE40392002DBA235542691F5A0DBF |
| RDS:package_id | 294729 |
| SHA-1 | 499547F4D5579D492E74A20429201D15AD313D00 |
| SHA-256 | E9ADCB0B22A7D239EB83CFBCA95203BE8462FB25EA7C3AACB60115EDCBFCC7E5 |
| SSDEEP | 96:gq7mJxbcafVfQu/nergEEPZ0bAHOuCk7toZ/jG:OJx4wfPnesE/bMCk7MG |
| TLSH | T17B715CD9BCADC534E37D771407065C07DE6AA34A06D3489A2335C54624E5BB4EA33E5C |
| insert-timestamp | 1696432797.9728963 |
| source | db.sqlite |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/z3.1.gz |
| FileSize | 1389 |
| MD5 | F883ADBEFBA613B81829C329AAC1BF40 |
| SHA-1 | E940234EF6965961FB712E1637DDBE0CD2945616 |
| SHA-256 | 142142897C65F1F9BD870553CD48A4932D9D349145D04DF1C86FA7F98FD03C4C |
| SSDEEP | 24:XMwH3CSlmB3o/FE/01JfQ2rB/+5tnkslV0y3YQmQw1tt8loePEHEZagSVil84gsx:XdH3CQMow015Q2r1Izl6y3Yzl8loSEHK |
| TLSH | T1CA2108D46BEA4249F7C9B707DD91075517EAB198612603CF80F1C2A72BD47083AA02BC |
| Key | Value |
|---|---|
| FileName | changelog.gz |
| FileSize | 16716 |
| MD5 | D700BFCB37C998CC9671C6E3E32F9A1F |
| RDS:package_id | 294729 |
| SHA-1 | 067874D4666198DE3C55C5FBCE03F7785651FB14 |
| SHA-256 | A9A0DF2B24684A4210F3DBFC38620ABD186B397979529214E241EB00B2EEB415 |
| SSDEEP | 384:vONisboFGXR4JBMKxjIa3f8mmy8BYw/p/rxl7BzpKYdb:vONiskuRiBTlfTmy8BY85NzBt |
| TLSH | T19A72D0AD12141A4FC42CB47C965201A3FCB5FDA1B13BF5CC795C728A92566903A78D1E |
| insert-timestamp | 1696432797.9670596 |
| source | db.sqlite |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/copyright |
| FileSize | 2283 |
| MD5 | F967E789D58BE4415F0EC8B561624170 |
| RDS:package_id | 294729 |
| SHA-1 | 628A8268DC584DF6DC1F453CAF51AFD0237464B9 |
| SHA-256 | FB121B9D7F2A3ABF6D29CE681578FBCBF6568F2D02070BAFE85277B392244B9F |
| SHA-512 | 2D1BCDE441978C244EDDAC58CE405420501A2057CAB7C1ADD92F5EEA97521E3EEC6D21ECCE9233A6EBF3A1D300CDE91A69F5245942CC48856855876E8E1D8CB6 |
| SSDEEP | 48:iXD0a3yyJLl/El5wH0s5ANU3oWFiypwGoyvHq+nxi8:iXD0azcbwHFoVypVrRQ8 |
| TLSH | T13841B50E325087BB1A4123E03956A8CEF33BB297757D5580740EE38E9B2607D52FB498 |
| insert-timestamp | 1712804945.0724366 |
| mimetype | text/plain |
| source | snap:t2lB6va3EDQHQDV1Uq9kY084GSymT9kb_29 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/README.md.gz |
| FileSize | 2681 |
| MD5 | EC8896B19875871BA10EE07BFD0A07D7 |
| SHA-1 | 17B0DB20260DF40376488508DF31CEF3E36275A0 |
| SHA-256 | DDEF836E6936C5BA901AC4216A10AD2D803BC7E9A97DFF06036344C2EE006DDD |
| SSDEEP | 48:XI5TK/ulUtnFP91Z05nPpURftNgWuKBVWoo3+a1ZKXxIypcnJUF7++cfbEnOpT1D:LaUZFVmnPpUB/dFB8ooh/1NJm7hcDEK1 |
| TLSH | T1D4511B338B0599C7927C102FD66C456CCB78C9296104C66E96E9173141658B8BF4F67C |
| Key | Value |
|---|---|
| FileName | ./usr/bin/z3 |
| FileSize | 21792080 |
| MD5 | A8BF1DD172250FC4CB2CC84E0F304032 |
| SHA-1 | 8754527EC86A0EE190FA000B81FCE25DB13C397E |
| SHA-256 | 6226836BF45ACB316FA902DD3E32B1941990584F7E84CFE1F3624D0A3007726C |
| SSDEEP | 196608:AwGLIXuYNYxXKe5RzYuYtN1oWLY+yKGnrfKgnWIyScLSBXRldADAKR4Q9O:AwitKeBkNCWrYrfzT9YUXRldAT4Qs |
| TLSH | T1B8277DA9F90E7C71E39FF27C9F05A3B6391B2491D2A651B27919430C98C77D8CBB1920 |