| Key | Value |
|---|---|
| FileSize | 70132 |
| MD5 | 3931EAC5F6EC90C885F84BAEF2AB186C |
| 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.8.10-1ubuntu1 |
| SHA-1 | 0995BA19A18AE6BE9B041BBE73661AF3F5036340 |
| SHA-256 | EF826499411875E4DC962AF8A8DFD439D4C3C227B905CD05D2273DBD765BB9FE |
| hashlookup:children-total | 16 |
| hashlookup:trust | 50 |
The searched file hash includes 16 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/include/z3_macros.h |
| FileSize | 315 |
| MD5 | D7F161BBBD9E2433ABACDE8DA0650928 |
| RDS:package_id | 302126 |
| SHA-1 | 093767B1EAC6BF17CAD8CEF328EE205A3EB03CCA |
| SHA-256 | 34AF023C4E2884D0DA3431BE447F073FCCBB54BEF2E1B12C6939103F45917AD7 |
| SHA-512 | BF02D3296DE7007BE04D33362F36CF06D9444386AB1E49745621E671075BD4737D2135A1D3ABB559CD634C962AFB0FFAC0AF61440FAF535C440C2699967EBEFE |
| SSDEEP | 6:mUZBXVLu6l/bnY6WLdFGOrLsWki6C8Mb98LrOsxYDPE:mGBFS6lM6udFGFH5/Ma9xYTE |
| TLSH | T106E02674659AA0B050145A63848C69545A9EEAE31793F9AC84C29F280BC960261FD288 |
| insert-timestamp | 1728242035.302708 |
| mimetype | text/x-c |
| source | snap:isco3uAbV8loHXUSaF1yGB7gjAVyKPF2_1 |
| tar:gname | root |
| tar:uname | root |
| 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 | snap-hashlookup-import/usr/include/z3_ast_containers.h |
| FileSize | 5729 |
| MD5 | 6ACC97B069965281DE022BCAD05C089B |
| RDS:package_id | 302126 |
| SHA-1 | 65178BA6B3C9F9FAF5506F57D350813BE43F736D |
| SHA-256 | FD3ED2784B1E41FBE8AF90599236C7AEC48722B09C91664056940F5EE9BD143C |
| SHA-512 | 2A47AB5FF79F7A5D66D336B98714C0E1329BB36D35138BE659C23167390C85977A7DA673BBD108E667D4D77D4D6D59F8D6355569036830C9F80BD8A1075644C6 |
| SSDEEP | 96:bDGsjKd717dffqqy7zXzuTX4rKwKdjpScfhSkm+XUc/ymX+cAvVXyKVXDPcjqSOM:r6171fqq4jz+4H8jpSEhSk9UOyw+VByz |
| TLSH | T175C15A817DA909A3DF57EF38238D65814219F1D3C3E9A6A0357F65DC1FC0B908BB41A6 |
| insert-timestamp | 1728242036.1455784 |
| mimetype | text/x-c |
| source | snap:isco3uAbV8loHXUSaF1yGB7gjAVyKPF2_1 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | snap-hashlookup-import/usr/include/z3_algebraic.h |
| FileSize | 7189 |
| MD5 | 2882A94E6466B01993C5C665E47195D1 |
| RDS:package_id | 302126 |
| SHA-1 | 7CFF28435EB01ED82B786FD790DBF671D48F36E3 |
| SHA-256 | A03B4B88F05C689F2D4364E6F186D4D7D23CA5848A96158BA0D416990028593E |
| SHA-512 | 4B120D0FAB94CED232DEBACDA821D1740DD2DC32BA45BC3B242E07CEC6732A45CCDA47E55356026A16DE9258652D0AC5231DB5B36FFED44754C062185DA9E73B |
| SSDEEP | 96:mDGF6lwyoXi0Xc/X3XWX6lXxwXMXWXBPjsXKXMXVDXAIXbXoh1QGzX3Xv:nPvcPHAsASAljykSdZLoh1QgHv |
| TLSH | T10AE17B68FCD214629353DBF8098E2446662CB5E372F13FA07E2F56BA2FC9591D63C201 |
| insert-timestamp | 1728242034.6806438 |
| mimetype | text/x-c |
| source | snap:isco3uAbV8loHXUSaF1yGB7gjAVyKPF2_1 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/include/z3++.h |
| FileSize | 163331 |
| MD5 | 70B3D510E79A6A516523176259522BEA |
| SHA-1 | 7EF686B29CD4881114005F867649DCA15AFE9690 |
| SHA-256 | 1AECC792106713616B412F2996A7F44049ED4D7C8430638591155912B06A0B14 |
| SSDEEP | 1536:lb2cXb7woKkGWgBPl51bftOnTFb0u8X47ZJ00Z/1/E9t2mMwNBEx:Z2gXJ6Pl51bftOnTFb0u847Z+0k9E |
| TLSH | T1CFF3514579E3513A061263B9065FD092B32C906733A8EEA07B5F65A0AFC1508F7FB9F1 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | snap-hashlookup-import/usr/include/z3_spacer.h |
| FileSize | 3895 |
| MD5 | D318A14F26A36CD3A2D9E0EC53D5D5C1 |
| RDS:package_id | 302126 |
| SHA-1 | 83666EDC44212933EA4D2C0F36CCE43BC1320225 |
| SHA-256 | E29FDDD7F520DF7BB59F0C3E812D932C1C6757CE539144D8D27EC303B21451BB |
| SHA-512 | 5A0C16478F615F4C5550EDF9A61B10B2EF55513D2F8607791BA21C2924F10BB91589C6D4799DC9A36BD0443F0CCEFCE4EB6250D6ABB35A61501950C27890A2E5 |
| SSDEEP | 96:g+igmopFQpjAd2idfupXBAqYXeSxbTXyRXcO:BkGFQpjAoiGSPeSxbDoj |
| TLSH | T12081DE707CA35D12E211EF34B6CD5842460DE14797D235A03AEF93AD2FC65D14BB186A |
| insert-timestamp | 1728242034.5134008 |
| mimetype | text/x-c |
| source | snap:isco3uAbV8loHXUSaF1yGB7gjAVyKPF2_1 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/include/z3_fpa.h |
| FileSize | 36000 |
| MD5 | 95A6B089AD06C3E8C83B025735E3472F |
| SHA-1 | 88DE02F11B0D7E6D85C0C3E35601D9740D2C2379 |
| SHA-256 | 3EF9FF2CCC380F331C817F1ECBD7903BFD96A8DCB18B56EC9AE3D658E9FF36ED |
| SSDEEP | 384:xpwpwPecETp+Tp2TphTVzTpwTS0Xpo0jpqpup0pmpFpMpFjGTDttEZbNE0Fy3IE9:xpwpkm0801l |
| TLSH | T115F2DD903F98165ED30E57391189B043B249A0D332D0A36436DF6EDE2FC78B6CBB59A5 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | snap-hashlookup-import/usr/include/z3_polynomial.h |
| FileSize | 1052 |
| MD5 | F6CBC35F4C40C9A3FC0470B14911C613 |
| RDS:package_id | 302126 |
| SHA-1 | 8D25E24CD38FD7A9DAB24505CD957071820D4B29 |
| SHA-256 | 00F95160C805AEB33FAE85027ADD1B717A3697902489DAF7ABFE38BBD0FEFC18 |
| SHA-512 | 107977C8031F9B654B7FD05144E56677B662953E73105075C66707E457BDEB3134027A1F4F9F48173D2B2B61664ED2304A00B16AB87467052D375A27894CD4A3 |
| SSDEEP | 24:TiDGf889KXYBVfWpto+YfW+RKBNyzGdXdYqXzQkduFS/kXzQEIZ:TiDG0XssvTY++2NYsz/KS/ezm |
| TLSH | T1C2113E65289C2523A100E5B171D835408249F05BE3E710E03B0F7F9F8FC739272BA5D2 |
| insert-timestamp | 1728242035.962637 |
| mimetype | text/x-c |
| source | snap:isco3uAbV8loHXUSaF1yGB7gjAVyKPF2_1 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/x86_64-linux-gnu/pkgconfig/z3.pc |
| FileSize | 289 |
| MD5 | 30A8A6A60ACA884CAB6C069DE2F59A09 |
| SHA-1 | 91DAF9AACC6995D96C1880FC6E01664B0AA37403 |
| SHA-256 | 70193DDC7F2ABB69D9A2203159FAE119BFA0ABB258D787A55B8F12B4B993974E |
| SSDEEP | 6:iD5ixrfYXAOErfY1e26XYBei15AvV+A19pMK2GziIa6XCn:iwGvm6JB/5Av1bTziIah |
| TLSH | T13AD0E735548CE3D830D67B6451C752444073C22EE136F961D2D13704101334DD037643 |
| Key | Value |
|---|---|
| FileName | ./usr/include/z3_version.h |
| FileSize | 212 |
| MD5 | 6561AE65B54852F3D83BF4FCE6C76848 |
| SHA-1 | 9AA6A317B21AE0140B9285865458BAE0518C002B |
| SHA-256 | 199EA7774360ED5F6643CF8538935FD4FA68AC7E73A208A82AE46294FE1D2A8A |
| SSDEEP | 6:jUsimSOiGgcfF/84LfF/0GNanWGi08VGGDlfF/asiJ:jFimrLNZNRFL5NasiJ |
| TLSH | T1CDD092123D855292A839029586DAA41558A4A9339204D8ECF06B7C8DAB95C1807FC2EE |
| tar:gname | root |
| tar:uname | root |