| Key | Value |
|---|---|
| CRC32 | FAC90C98 |
| FileName | 61129 |
| FileSize | 5239022 |
| MD5 | DCB09FAA58DFC60B2CD90D0995C26A52 |
| OpSystemCode | {'MfgCode': '1006', 'OpSystemCode': '362', 'OpSystemName': 'TBD', 'OpSystemVersion': 'none'} |
| 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 |
| ProductCode | {'ApplicationType': 'Operating System', 'Language': 'English', 'MfgCode': '1722', 'OpSystemCode': '914', 'ProductCode': '184821', 'ProductName': 'Linux Mint Disc 13 Repository DVD', 'ProductVersion': '18.1'} |
| RDS:package_id | 184821 |
| SHA-1 | D8042D3FAA4F5C4BC19DD0820E9E3B14F82FF477 |
| SHA-256 | E8DC59A3AEA03D01C9AC128D94500138691928EBB8E7901F02D69D36657E45FA |
| SpecialCode | |
| db | nsrl_legacy |
| insert-timestamp | 1648755885.6265075 |
| source | RDS_2022.03.1_legacy.db |
| 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/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/bin/z3 |
| FileSize | 16677624 |
| MD5 | E1FF1BE52362DA419B4324B274125052 |
| SHA-1 | 678F645D8F86CF67DE2209277E4251D31E6EF5CA |
| SHA-256 | ED872DE440895076389F2349E01BDD60EF610D25F0A74C85C84804998A50793B |
| SSDEEP | 196608:JZ1GjTk0Jgnt3XcyxvHNepz9BwXOsdQh:fsETtlQh |
| TLSH | T17FF64A17E3A254EDC1E6D57407ABA1B3A53178A841353EBF3684DF321E92E705B2CB12 |
| 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 |