| Key | Value |
|---|---|
| FileSize | 6109928 |
| MD5 | CAD699EE29D9D79519E2D0FDD8854EED |
| 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.8.12-1+b1 |
| SHA-1 | A2FC464E337B6601D9F95C6CBDDE6129AA8E3767 |
| SHA-256 | 5F9E7A58F3ED989C949BEC77661B711186C62235A8A8338956409E0CAEB0745F |
| hashlookup:children-total | 7 |
| hashlookup:trust | 50 |
The searched file hash includes 7 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/bin/z3 |
| FileSize | 30473752 |
| MD5 | FF80FEBAFED8331785A611F1D224E1C0 |
| SHA-1 | 7D0B965B694B9D876AE53A9723E7DCC8FADE7F5A |
| SHA-256 | D2F1B72192F79ED98C3A60F59824F43223A9F1D5821B7CE2581921D6CDE98CEE |
| SSDEEP | 196608:2+ij75v4gC1R9NyDsfTwP8PsxENkj9X6lFmwBcR3Wvj8WH9Zds3gqjAHCIisEYbf:2+iV42SM1hi6nkHPFQx9dIXIEm4js2 |
| TLSH | T131674C155B086F57E1EFCF304D3ED0B6021D6D9765148626FE9C0AC8BE2EADA0F82D46 |
| 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 | changelog.gz |
| FileSize | 16850 |
| MD5 | 3BC99206BF1AB8287B8339DF60D13FA6 |
| RDS:package_id | 304063 |
| SHA-1 | AE50ED40EF06FE5DD9A41A27A158059BE5D2F06B |
| SHA-256 | 4BF1F56215E8EDB955A3B8080AE5760648EB80D34EAFA1F7AF3A073AB8821418 |
| SSDEEP | 192:QsPf9NsKRGoKqteiPlhcoepQN1tDfATlJ3sqczzFQqPvpqaC8YOwqZ2CeqIajBJE:QstRG9ri9yaKvctzzFQqXpqaPTZPI6JE |
| TLSH | T1C872D0CAF99C117150A4BCE1831D611AA1E22FCACC43D09FEC1683AD79565FBFDA8548 |
| insert-timestamp | 1751766817.7245884 |
| source | RDS_2025.03.1_android.db |
| Key | Value |
|---|---|
| FileName | copyright |
| FileSize | 2283 |
| MD5 | E803A46FEB27E4B26C5F7F4886E92982 |
| RDS:package_id | 304063 |
| SHA-1 | 6ADC491850496FB90A63DDCE783794ADE53EFEF9 |
| SHA-256 | 807F874C81A0DBCE7D4E32B1A4E1EF1E094B9A3FE8579F34E60FDA4F2077289C |
| SHA-512 | AE7E30C28FEB4D7AD1ADFAC42D37FDB0C02A5BA72B0C3253FFC71DD41BD788A8EA1C19AB652603F61FEFBA0B3DB65344A44C26BA2AA5D16CC2AF004098A2755C |
| SSDEEP | 48:i4D0a3yyJLl/El5wH0s5ANU3oWFiZpwGoyvHq+nxi8:i4D0azcbwHFoVZpVrRQ8 |
| TLSH | T12841A30E324087BB1A4133E03956A8CEF33BB29775AD5580740EE38E9B2647952FB498 |
| insert-timestamp | 1751766817.726123 |
| mimetype | text/plain |
| source | RDS_2025.03.1_android.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/README.md.gz |
| FileSize | 2676 |
| MD5 | D992C4B718F2AD5F59EA56558B2CCB66 |
| SHA-1 | E9D57361A5284F871D8CCA1B71824C418FA36C63 |
| SHA-256 | E7E1549976CE8267FC20D355E3D1212981A416C9D569C72F1662B8485553D701 |
| SSDEEP | 48:X4DvelbZZQeG3FRWSK7TZJj0sBVjXeEDAcWFWLyNJuzN/+/slXQl3ky1GJj/vzGB:oTelbvGVRNK7TZhVjOEDHW3JuzxVhwkQ |
| TLSH | T1FB515BE1E06A90F749C67A456CB4AC359D03E2B606D6D8ED6C9808C87C3733B89824A8 |
| Key | Value |
|---|---|
| FileName | changelog.Debian.gz |
| FileSize | 3716 |
| MD5 | 877AB99E783C14B062D831E1A49F2FB4 |
| RDS:package_id | 294776 |
| SHA-1 | 5392F0A6C8BBF2C1D6B8F6B0C7D596577DB919F4 |
| SHA-256 | 4FF710099BB258A6586D2AE4AE967B3B6F824C6D3CED10DF3CC7893FE3276058 |
| SSDEEP | 48:Xj7XRe/PKg59Trndnrt+ulyfJ+8N4T0Oa5xhPOmwZCpZWvqd2+tUE/VrWsPokkv2:fX0XKaHXUCIJh2mXpPdhUsVBkvE+LT6n |
| TLSH | T1CE716D02933553E4BE5802FD973866E9B2849382CEB7762B762B86F4C5C8D48F371A14 |
| insert-timestamp | 1696442263.1838686 |
| source | db.sqlite |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/changelog.Debian.mips64el.gz |
| FileSize | 224 |
| MD5 | 2583416A52E66D131B0E9A9237226E16 |
| SHA-1 | B0C0CABACE2FD6A712088FCCDAC47B164C149E6B |
| SHA-256 | 5BB10D5C098F2BF6654BE743BA2386275F2135591D6AAB4BE2F05BC91A4C2F41 |
| SSDEEP | 3:FttiNXrizgCMkqsmxb34/Xt90b9EWva013jSA9v32mrQOYREsOMDauL+y6A34j3l:Xt4KYsGuDqvC0P32mLY+MDNKW4R |
| TLSH | T1BAD0232BF3030805CA4C4FB011784104AC4F187400C38FC1364A0D0E41990FFE808F3D |