| Key | Value |
|---|---|
| FileSize | 4820244 |
| MD5 | 860CEC2959126FCDB7391BB6C217C299 |
| 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.4.1-1~deb9u1 |
| SHA-1 | 5C5DF133A51FE7293F3836FAEEF840B048D3A79F |
| SHA-256 | BA840D5D3488AF47E980B442A74D49D905ABBDD61D630BCC59E7E934170F135D |
| 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 | ./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 | ./usr/share/doc/z3/changelog.gz |
| FileSize | 12885 |
| MD5 | 7207B587AC23374AF406F503D0515DD0 |
| SHA-1 | 7B086BE24964914D4FAD12DA20D6CFD75FAA610F |
| SHA-256 | F62AAA20AB18A71C46BD5C9F3288D90500EB6557285722F500832BF06261DCE8 |
| SSDEEP | 384:3TC3XCK1FgES6hUSicuCrFRX+nuz6ShT3cWoj9wV8m:MVWFCr0uz6Sl3tojyGm |
| TLSH | T13C42D1A04DFAE32A91D1743F65F1A90D6B34CA107B6DB3405413B7802D3975D5FB9E01 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/changelog.Debian.gz |
| FileSize | 2199 |
| MD5 | 02BBB2C2C0EA069356BE4819EBC647B6 |
| SHA-1 | 6C7D12D59D84CFEAEB5EF08D460DC4E5A8139A27 |
| SHA-256 | 03ECAFF0B16B0B9723100A06080F2A771953B020B11372F9E71374577787D312 |
| SSDEEP | 48:XZcEqXrz8dxqaj/ufb2kjMtYbmjx2s/kQpO+ucQmYTqhPC+qE8cl:srQkfCVYbmF2Wn4lmZPd8U |
| TLSH | T185412BADDB202B29E3201404E848623B625DFE6C5039AFF69C81040ABE703CD5D818D6 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/z3 |
| FileSize | 20059440 |
| MD5 | 9D01054CDEBD0CE2D246910CDE832674 |
| SHA-1 | 6757D84E7A057200856EBF35E104588A52CE9AB8 |
| SHA-256 | C9F9BDD8511645C8DC7E4A590B9D395BBCFFB623CFF0C9BF46CCA9F1C0FC0A9D |
| SSDEEP | 393216:hOJ8h4srQxztkuFSDU5ZNL1qZXZ76m0TRB63puHo2fJibKI:homnUzkuMDeZNL1qjHPq2b |
| TLSH | T14D171A23364CEA93FF816C3B96DDF89133923645076859D6BA04430FEF95A1A8F4B85C |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/README |
| FileSize | 1384 |
| MD5 | D3C07B6FE588FF7F0A0D725D5D5671D5 |
| SHA-1 | 1977622A52D3F1992692C845174146E5AD3CE3BB |
| SHA-256 | 3C0584DCD831C603FE9B1BA3459591BB09EAC1E96B738DD2BA9F927DAC6822E8 |
| SSDEEP | 24:+ysHoPT15+NxT15qXIwf0L40pe0TWFVH5kxXZxLUKyVeeoIUWRHmU+Rgx1SwMVPc:9MiYNH3bpJTWFVH5k1ZqKycnIUWRHm49 |
| TLSH | T15E213636AA0AD3324661043601FF5AC0D399863B37F5A484A4FD54915F0235F943FF93 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/copyright |
| FileSize | 2131 |
| MD5 | 41AEBF244D143B2188FFBD8CF7BC4D56 |
| SHA-1 | 2B8CAB82326404ECB6E447C4B7EC365A138C9397 |
| SHA-256 | 82E82701581D0B61FE9003DD4F7FAD5C697703DE321C3D566C7C8ECFBED1B58F |
| SHA-512 | 55B8D3D78E2384CF321232AF9DECDBB8471F13A0454930D8ACF2E1B346B652E0605616E78B0D01FBF6641C6A3A1FCFAD97057EA326FE0F695B5DF866EE50FABB |
| SSDEEP | 48:iUD/yJLl/El5wH0s5ANU3oWFi7pwGoyvHq+nxi8:iUDMcbwHFoV7pVrRQ8 |
| TLSH | T18941B50E7250877B198023E03D5A64DEF33B7297B57D5184640EE34E9B2647953F7894 |
| insert-timestamp | 1672721792.3705158 |
| mimetype | text/plain |
| source | snap:2cS3uo2l9UoC7nU01u5QTty6P4HGnflO_134 |