| Key | Value |
|---|---|
| MD5 | FFA6C411680F6FDD71769BB07A38DEA8 |
| PackageArch | aarch64 |
| PackageDescription | Z3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers. |
| PackageMaintainer | Fedora Project |
| PackageName | z3 |
| PackageRelease | 4.fc24 |
| PackageVersion | 4.4.1 |
| SHA-1 | 4C6110B8F9FC47F7C66DFAA9885B1D5ED1E1A45A |
| SHA-256 | 75E19A518D92628C7FDA12AB131C77ADA3A9A34456C7C858CFB88CB2DFBC000C |
| hashlookup:children-total | 3 |
| hashlookup:trust | 50 |
The searched file hash includes 3 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/bin/z3 |
| FileSize | 266080 |
| MD5 | 2A8F049881587FA5E8496B24F197909A |
| SHA-1 | 5391DBFE80FF569F9038F8EB445D1CA31BD922DD |
| SHA-256 | CEE5C8370A63119CB81CBB4AD32165D5CFBCD87C921B71DF8B8C4BAA6254C9D7 |
| SSDEEP | 6144:UM+DWMDFzbK73J4VBcDRYTEKZ0tPhhu6+VLMvv4n:PR3m0ZDQ |
| TLSH | T15044E726FE4E6821CC82BD7B09CD8791F222444C9B599243BE38452ABFD17DC5F672D8 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/README |
| FileSize | 1384 |
| MD5 | D3C07B6FE588FF7F0A0D725D5D5671D5 |
| SHA-1 | 1977622A52D3F1992692C845174146E5AD3CE3BB |
| SHA-256 | 3C0584DCD831C603FE9B1BA3459591BB09EAC1E96B738DD2BA9F927DAC6822E8 |
| SSDEEP | 24:+ysHoPT15+NxT15qXIwf0L40pe0TWFVH5kxXZxLUKyVeeoIUWRHmU+Rgx1SwMVPc:9MiYNH3bpJTWFVH5k1ZqKycnIUWRHm49 |
| TLSH | T15E213636AA0AD3324661043601FF5AC0D399863B37F5A484A4FD54915F0235F943FF93 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/z3/RELEASE_NOTES |
| FileSize | 34417 |
| MD5 | 1AE11439D5672F37F7E1E85FEEA1FD3D |
| SHA-1 | E317D0D66430FED2EFB0DDCD1980C81F5E6C2777 |
| SHA-256 | A9E26353FEB5C1A0E038CD4CA25A2338A382B3A64382469EED52FC9315FF0862 |
| SSDEEP | 768:VjNh8Ulyn5WlWFickONeXMkztbB+I3lygURo38YRv2L/aK5Ldhe6uW6Iz0lEJAZr:VjNjl65WlWFKSeXMk13lygURO8G2L/aB |
| TLSH | T107F2F8177285333402434AB323EF16A1A73845BCE3A7956970EDC28C6746B78D37B2E4 |