| Key | Value |
|---|---|
| FileSize | 7752876 |
| MD5 | C0E3BBFCE5E57E87F8A86A481565375B |
| 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 | 73348014AAA5711921487DC879C03CA806373237 |
| SHA-256 | F04D7A184EB6EA696DBD81D8B925021B22755855F287F59696984BA92F6476AA |
| 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 | 25726116 |
| MD5 | E24491BDF284C04B45057BDC86C318D2 |
| SHA-1 | 4C835BDC9DEC459BD9CAD9A0AC27DB3D7BDD0AFE |
| SHA-256 | F3BC3D54967367C403B9F1BFE1014F0514B91E764BEAD0C40C3EAEBF0EB4451F |
| SSDEEP | 786432:WN9XvN41L9VLl6HH1GxNvDKaU0tb2qMMsorPpUXAvojD52Q89bK/lu+PxXBV5zAp:CXvN41L9VLMHH1GxNvDKe0qMMsorPpUn |
| TLSH | T1BC475B59EB12E877F00381F1130BABF224506A36509790E3FB48AFAAB5765E15F09737 |
| 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 |