| Key | Value |
|---|---|
| FileSize | 6966116 |
| MD5 | FBECFA3FD25FD87101863B899CF5C01F |
| 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 | 696B5F619720F1587B5935E3BDC4D66F4A996F26 |
| SHA-256 | 86BAC76A2643B6F319730CE632F79C8E34769C76F7FF78B00989D8A78346DAF1 |
| 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 | 22926704 |
| MD5 | 1C3FF68EFBD1920430A7DA0E1E644B5C |
| SHA-1 | 484940EC04ABF4D7B6E8D4A15356A991DC2A1838 |
| SHA-256 | E6E160D272FCE7BE225C5ADBA9703699761517372F6C74759534CAB16381FB29 |
| SSDEEP | 196608:G4vrDjLuE2W5R/KxhXV109lqbI7c3a4hyDw5+xwDsz/JHVnj1dDvJXipltf2o1Ll:GOrCkIvXVa90ibvxwD0/ZdQnf28l |
| TLSH | T171373A0AF6A218EDC1E6C874076BE9A3B93078A441353EBB7294CF711F56E30576CB52 |