| Key | Value |
|---|---|
| CRC32 | D87C6C10 |
| FileName | 61124 |
| FileSize | 5311238 |
| MD5 | 35484F00B85BD00CC5818D23919F7438 |
| OpSystemCode | {'MfgCode': '1006', 'OpSystemCode': '362', 'OpSystemName': 'TBD', 'OpSystemVersion': 'none'} |
| PackageDescription | theorem prover from Microsoft Research - development files 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. . This package can be used to invoke Z3 via its C++ API. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libz3-dev |
| PackageSection | libdevel |
| 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 | D4FACFC726AA783C211CA043BA9A6AAA06D3D1AF |
| SHA-256 | 7137EE1F254DFEEEEE346E8AF33B88F1A52E1A7C952BF5AD28392E85F4AE6466 |
| SpecialCode | |
| db | nsrl_legacy |
| insert-timestamp | 1648755885.967776 |
| source | RDS_2022.03.1_legacy.db |
| hashlookup:children-total | 13 |
| hashlookup:trust | 50 |
The searched file hash includes 13 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/include/z3_algebraic.h |
| FileSize | 7112 |
| MD5 | D453354B6060FEF25A7F44D05E125EB9 |
| SHA-1 | C7A8E3C6C1160C54DE89C35A92A4ABDE964548AB |
| SHA-256 | 1D9EBD0BB6FBA56FDD33B30550AE3BFB0AF4905102D4779CAA57D30D4AA2E3EB |
| SSDEEP | 192:nO/Ntst1t2tu6NDEEBm8hUsRt2Std/tRsti1tANtiEvp4qJx:6IKmoCUPd82EJx |
| TLSH | T1D2E147A8BCC210629303DBF40D4A20466A5DB1E375B13FA4F91F56BE2FDB681D63D601 |
| Key | Value |
|---|---|
| FileName | ./usr/include/z3_fpa.h |
| FileSize | 31465 |
| MD5 | 056CED18AEAE72E9A39C3EA9E8C27623 |
| SHA-1 | D4E094A20F407BE7E8981DE513C9F32391F4ECC4 |
| SHA-256 | 2397E60A14CCEC50D31E27ED4C73B3A30B6ACC00A8A0E2728C542B829194ABFD |
| SSDEEP | 384:ZKe1NkphseOTp3TpZTp18TVCTpOaG04pv0iipdptpHpfpKpDpjjFD4/9b/QCE22V:BNkp+u7hrYo3Bfc1cBx |
| TLSH | T1CFE2D0903F58125ED30E473411497043B28DA0C336D0A771F69F5ADD2FC7AA6CBB6AA5 |
| Key | Value |
|---|---|
| FileName | ./usr/include/z3_rcf.h |
| FileSize | 6272 |
| MD5 | 73F1724F642FB02BADEC2D57E14CA135 |
| SHA-1 | 998B806D36B9E27D03EA0211421D3B7039E27D23 |
| SHA-256 | E99BA03A9DC171DB8BA704EDBACB99F4DD50BD0D19C353A48E95369564414695 |
| SSDEEP | 192:mDR6xM974EnlDM7cO3jwe+X0913CqtEtCtcWtDtNt6354Ryx:m14EP0hWh4Ax |
| TLSH | T1CAD189903CD3429EC206E7344649B343A78EB1F34752A2B1F55FA2DE7FC3582A676425 |
| Key | Value |
|---|---|
| FileName | ./usr/include/z3++.h |
| FileSize | 86459 |
| MD5 | 371C52C95B97A30A8D581B4F85E2EEC7 |
| SHA-1 | FC53935A1EA885FF31579E9604B0D072B757BFC3 |
| SHA-256 | 4197C0A950005A37238D95C8CECB1835E7B50280E2166D1CABFF16076BEE32F3 |
| SSDEEP | 768:3JGm2KldXSJaqacCMmXoUXz5vuqK8tIlHQfXU62zm4N2inj41zpzauBwwpIfDjv/:5h2Uf4HK52zm4N2FNSFkGd0BWt |
| TLSH | T13A833145B9A3513A06126379424FD091F338946733A8EEA07B5FA1A0AFC1648F7F79F1 |
| Key | Value |
|---|---|
| FileName | ./usr/include/z3_api.h |
| FileSize | 293769 |
| MD5 | CBACDB7F4BF30EA774F79C4173E8460B |
| SHA-1 | 85F37F3436ED127AB5CB1939B32A0F668A45CFC6 |
| SHA-256 | D4E0D406609AB6E39F51815B1794FABAFD20A8C505904CA9E1AD4FF1669DA7B2 |
| SSDEEP | 6144:6MPVxvxhyHMx7GGRPfHLJtBw/6HHR2ZWgbJbqLGhPvvx/1dGIEaYh8+nmHbT+TXt:6MdxvxhysTHR2/PvlWaYhQHh+RBWavqM |
| TLSH | T1D254C790795606A38217DB745ACD7442634CF1A363D1B560F9AF83AC2FC3BA0C3BB965 |
| Key | Value |
|---|---|
| FileName | ./usr/include/z3_interp.h |
| FileSize | 12220 |
| MD5 | FE45A2FCB855A064C4D25582D1716B33 |
| SHA-1 | AA8F53FB199DBFC350FC7D2BB678378D3CA670A4 |
| SHA-256 | 4E120DB326C2193A3BC28206C0FDAFBCD1741F363CA6FF54952E74C4BB12DF59 |
| SSDEEP | 192:P2mbJ3LFTCu5LZNGYO2bNNgnurF3L7hgmpuWLvcCknZKbHSQXx:uGLFTP5LZNGYnbNNguV7VLvcT2Xx |
| TLSH | T1F74296923E461E35D21E03F015AD6141A35C90E376D2A2A8705E667C6FCB930E3FEBA4 |
| Key | Value |
|---|---|
| FileName | ./usr/include/z3_macros.h |
| FileSize | 994 |
| MD5 | 96D163BD12CA56F65E0ACE85E33FB164 |
| SHA-1 | 16B5FF537F661B7AE14AD24641BFB678FF3ECF26 |
| SHA-256 | 666C31721A6F61FA952884B5A9B000651BAF43A547433F46AB09594AA4B52A79 |
| SSDEEP | 12:mGBF2iFriA1eqoGQGeg3uLb9LKVLxg5SK5SfL6guUi6lM6udFGFH//Ma9xYToAFY:mGDpRQGIf+Wh2uuZl7uaMa9x2ppvm |
| TLSH | T14611E03556D560F1A910A9A254CD3A55169DCDE32FA2D1ACF8C1FD7C3D8732201FE14C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/x86_64-linux-gnu/libz3.so.4 |
| FileSize | 16947712 |
| MD5 | D5450B03157C39C9B9F6A9F432AC65B3 |
| SHA-1 | D5768998ADF1CEE4DF3552ACF4395B6F18AAE0B4 |
| SHA-256 | A2C346E64CF13DDBC6545EC035228F656AB6F0D384D007E56CC8BBDF3DCA39A8 |
| SSDEEP | 98304:a+GxlauKnSB6hGXHZ1Lrqb6VUDeDCo7boNbyGNsir5NE7xTQ9gH1747KFlR4xgKF:aPi/9+1DXw9HSijiHFDQ1BnsdEXp |
| TLSH | T139074917E3A254EDC1E6D57407AB91B3B53078A841353FBF36889B321E92E705B2CB52 |
| 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/include/z3.h |
| FileSize | 556 |
| MD5 | 0FDD54FC72A70BBB9C5D75127A4EDBD2 |
| SHA-1 | 8FFCF703499966A9E1EBE9EBFA664154C91E3969 |
| SHA-256 | FD13A54C3DD0293A0907C10961BE95F07B037A5AF93B759D828644D027424817 |
| SSDEEP | 12:U4ABFeFBG3EcYWR4eLYyoH2IAoMMAwRAbvAwoRAcIAkRAVxvArIiQs18XtZGVnGZ:TADGBGUTWB12HrB0HoRSvivDdZGVGv5D |
| TLSH | T147F0F63DA92E2277E52A80BB14C3E897094CB1432F25926495FDB1D47A460A6779F1C4 |
| Key | Value |
|---|---|
| FileName | ./usr/include/z3_v1.h |
| FileSize | 2245 |
| MD5 | 487F2A1FD56D6A73D601E22A59AE8CCE |
| SHA-1 | 8BF4BCAF445950081FA42619D9FA2F062EC3D507 |
| SHA-256 | 58DCDC326783805843A9058E3679701447AAC1B4C3461D3547C081C10CD12012 |
| SSDEEP | 48:TY+DGwvqF6bmJzbOLJ6GedY9fpqGaMPXRauntaQSlViGIn4qLYxwxYGFkUxghozT:s+DGwSFxJPOL1sYBkGXPBaEtallViGIL |
| TLSH | T1B141F5683C8B7515C0A79B1D52C851647180EE333341D1CDF87F6D192FDA22952F95ED |
| Key | Value |
|---|---|
| FileName | ./usr/include/z3_polynomial.h |
| FileSize | 1158 |
| MD5 | 3306F06ADF056EC67EFA9EFB8DC213C4 |
| SHA-1 | 18E438D013A9D7DD03FBB4B9CA9B338333AEEDC9 |
| SHA-256 | 821A25EBA5FF50C7C181ADA13E25BB640687AAD505F1C28564A8C38370FE13BC |
| SSDEEP | 24:TiDGf889d8M6by/8WpRo+YfW+RKBNyzGdrdqqXzQkduFS/kXzQnU9xXIpx:TiDG0oqW/v3TY++25qsz/KS/ezyx |
| TLSH | T146213DB1286C30236110E83060D830408189A14BE2D325F0B20F3F9F1FCB39276BA8D2 |
| 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 |