| Key | Value |
|---|---|
| FileSize | 6808260 |
| MD5 | A3F9606FE9BD7262E35B051488A47B61 |
| 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.8.7-4build1 |
| SHA-1 | 03A0A7A84D5E9F53746A632B9ED8F3D9DE6DEA47 |
| SHA-256 | A3E38300C98445E84F493D3B07E777E54017395D5C779CBB746CEB62A69847BB |
| 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/doc/z3/README.md.gz |
| FileSize | 2739 |
| MD5 | 72977F2780FD897BA8AC28AA36412DB2 |
| SHA-1 | 2AAB1D6F2E681E37FCEC1D20922961A1B856D054 |
| SHA-256 | 0EC94CDE13C522EE32374BB90EB273E518ECDFAEBAEA6A5F212FB01BA34CA0C0 |
| SSDEEP | 48:XCpbsyy9XYX30YjNrUL5eMEqSW6iyxM7UVWO7JrOal5TM3imRX2F9e7JrI:fsH0YjK5eMCiyKog3ew3FRmFgm |
| TLSH | T1FD514C5769FB6BEE4CB422B2BDBF140465B459AC3401C592C6858B4C479E28C1BD11FE |
| 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 | 22697456 |
| MD5 | B4AE709E157CBE78845CD29ED27AF5AC |
| SHA-1 | 601E78C113AB0EA1B136D7583CC8386485702285 |
| SHA-256 | 1D8070B851B2938080C21A0A16E99CED941D8A80025DDEC3D3550F2B7E47F8E3 |
| SSDEEP | 196608:sF/i9VE9O55Zjr0sZtvKR6ZztcuwDAL9Cd61jpk7MctnnyNm:Oi9/jptvacR3qnnyk |
| TLSH | T1A837290BF2A218DDC1AEC474076BA9A3A531786442393F7B3698DF311E52F60677CB52 |
| 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 | ./usr/share/doc/z3/changelog.Debian.gz |
| FileSize | 1922 |
| MD5 | E8434C5F6FDF5022EBEFF9240FB060D9 |
| SHA-1 | 0C1BFF3BA8751A31DDCF97C0D58BC292925D8377 |
| SHA-256 | DD28A3397F43A41C55BD43BD4474927C3283A4740169CB43CE927A40E248B3AD |
| SSDEEP | 48:XgxeXRCFERodd1hYX36p3E4Bj3Y2YE90iyGLfWwD:bgFEa1uAHTs0Wa |
| TLSH | T131412ADBECECE518CC4B460AAB2B82CD0C55E5FDD4006EA358A48636AC4420C8DCDBF2 |