| Key | Value |
|---|---|
| FileSize | 5631592 |
| MD5 | 4757E76F98E10203283596759E8E1BF9 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | z3 |
| PackageSection | science |
| PackageVersion | 4.4.0-5 |
| SHA-1 | 41D0FB7173CBBB7448709D5385582EF927E2E9E3 |
| SHA-256 | 1773FB9BA43AFC29A97CF5895F8126ABCF2601923A8413BB687589E5FB58529B |
| hashlookup:children-total | 5 |
| hashlookup:trust | 50 |
The searched file hash includes 5 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/bin/z3 |
| FileSize | 17690392 |
| MD5 | A4821CB96B41E87290FD0AD84FFE87AA |
| SHA-1 | C9283AE3C4BFC7892E9B215B2055BD5E076E7932 |
| SHA-256 | D4DF0F34F2C1B6994E4367F16B57E401CF255F3FDE745C59578988AF0BEAB387 |
| SSDEEP | 393216:tTyGq7kpEVOZHgqLHPShPwdr9tNQa7DGYt2ti74wF8DKxirueBJ3v99e7DleJSfq:tTyjWHXSO93N7ZirueBJf9BJcprLQQKk |
| TLSH | T18B074B1AE712E4B2F05341F11246EAF2581026329093D0F7FB95BFB9B1B51E29F4972B |
| 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.Debian.gz |
| FileSize | 619 |
| MD5 | 84471C3F51A45FC433CCBEC921811815 |
| SHA-1 | 37BB99E4A3627252AC49B7A6092F6B28335DE34E |
| SHA-256 | E3BEEE956CD5E0A2D3A381BA7AF5CD6DB76E0713EBCC5B150A45E8ACDBD3E0D6 |
| SSDEEP | 12:XoQxMmFC99M/gq7iyaP4L5pGb6ILQfYtorpvpBtYdwYTDBsZzI:XDxMi53iDR7QkqBq+YfQI |
| TLSH | T1EAF047E4E3B5BBF278073F72C740DC236058CC5081D9274B6AD496B8F426D7415874C8 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/README |
| FileSize | 1282 |
| MD5 | 10809FDB012005A8191903028F017613 |
| SHA-1 | DE29AF9E96F0EE18392CCE2D796EA333341FFC44 |
| SHA-256 | 273FFFF37BFB85CEC8A233EF9E06B804148D9FB9363182C1674AE3591632BE99 |
| SSDEEP | 24:+ysHoPT15+NxT15AR0ve0TWFVH5kxXZxLUKyVeeoIUWRHmU+Rgx1SwMVPAuKH/R1:9MiYNHaCvJTWFVH5k1ZqKycnIUWRHm49 |
| TLSH | T112214236AA0AD2320622087511FF0AC0D399863B37B5B884A4FC54902F0238E943FF93 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/copyright |
| FileSize | 2194 |
| MD5 | 1BD4A66684E9176170A928C5590BC336 |
| SHA-1 | 41F372AB6020B3CFFCA379D06D18CF4CE24364BB |
| SHA-256 | E57A1FBB6C56471C28E2A00B2DEF7BFAC1D76DE236051970569FD16F2C0CDA5B |
| SSDEEP | 48:MUD/yJLl/El5wH0s5ANU3oWFivpwGoyvHq+nxi8:MUDMcbwHFoVvpVrRQ8 |
| TLSH | T1C241C40E725087BB198032E17D4AA4DEF33B7287756D9580405DE38E9B1607E52F78A8 |