| Key | Value |
|---|---|
| FileSize | 6966676 |
| MD5 | 07E57AED10E9E0CFF8442C0F592DF58B |
| 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.10-1ubuntu1 |
| SHA-1 | 8233B96F975BF24C49B6810E0B89C5EE53D912A8 |
| SHA-256 | F0A97EFA8B014A6161B266B2C36CE37E3536B3132675DEC524910F6B74BC7C14 |
| 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/bin/z3 |
| FileSize | 23221776 |
| MD5 | F8D7C74632D6B293513F2F8BD515FECE |
| SHA-1 | D60BDAA68DC0F2E4D6B3704EAA3429C32D7B7672 |
| SHA-256 | C1AD95B31A062F799ACB2EE8E30A10CD1B17C153FCB83DF99DC7F072DE950904 |
| SSDEEP | 196608:54+TM03nclcEx1og5Z4MgEjoqlnSbh6tBFKSka1bEX66NxC1jD0cfC6iLSu3AXXO:5dhXkog7QEBx3x6NxWAcfCzn3d |
| TLSH | T1D937290BF2A218EDC1AEC470076BE5A3A93174A442353B7B26989F711E67F30577CB52 |
| 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/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/README.md.gz |
| FileSize | 2681 |
| MD5 | EC8896B19875871BA10EE07BFD0A07D7 |
| SHA-1 | 17B0DB20260DF40376488508DF31CEF3E36275A0 |
| SHA-256 | DDEF836E6936C5BA901AC4216A10AD2D803BC7E9A97DFF06036344C2EE006DDD |
| SSDEEP | 48:XI5TK/ulUtnFP91Z05nPpURftNgWuKBVWoo3+a1ZKXxIypcnJUF7++cfbEnOpT1D:LaUZFVmnPpUB/dFB8ooh/1NJm7hcDEK1 |
| TLSH | T1D4511B338B0599C7927C102FD66C456CCB78C9296104C66E96E9173141658B8BF4F67C |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/changelog.Debian.gz |
| FileSize | 1657 |
| MD5 | F3BF52A8FCCD067F9C6D87D2CEC2D951 |
| SHA-1 | 43009F5FAF0303A6869FF9D73E46F33EBF7861A4 |
| SHA-256 | BB474D4CB19DE8FB5F1BCB65AD94770D11B5866649472634291BF5A2C7151FEA |
| SSDEEP | 48:XCy5M6aRLVlyiprdgio3j3MkX9PVZithb3:15MZdVlyipWT3TdV63 |
| TLSH | T18F31F6AD012C168A3EAD8D6039E53F383A902F7324CB7B1984B1E781EDC35708DAC5E0 |