Parents (Total: 18)
The searched file hash is included in 18 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| FileSize | 70132 |
| MD5 | 3931EAC5F6EC90C885F84BAEF2AB186C |
| PackageDescription | theorem prover from Microsoft Research - development files
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.
.
This package can be used to invoke Z3 via its C++ API. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libz3-dev |
| PackageSection | libdevel |
| PackageVersion | 4.8.10-1ubuntu1 |
| SHA-1 | 0995BA19A18AE6BE9B041BBE73661AF3F5036340 |
| SHA-256 | EF826499411875E4DC962AF8A8DFD439D4C3C227B905CD05D2273DBD765BB9FE |
| Key |
Value |
| MD5 | D8FC69842B31BABE5045837938FD30A0 |
| PackageArch | i686 |
| PackageDescription | Header files for build applications that use z3. |
| PackageMaintainer | Fedora Project |
| PackageName | z3-devel |
| PackageRelease | 2.fc34 |
| PackageVersion | 4.8.10 |
| SHA-1 | 12CD81F8A34618502BDA3DB2C70D15316ABC71BE |
| SHA-256 | C686E4DEFFB8D03330224CEA7F227300049F2D7239700CE44D2F0E22400850E1 |
| Key |
Value |
| FileSize | 90836 |
| MD5 | A0300517E581CA8E6E2D0A870D6A5445 |
| PackageDescription | theorem prover from Microsoft Research - development files
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.
.
This package can be used to invoke Z3 via its C++ API. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-dev |
| PackageSection | libdevel |
| PackageVersion | 4.8.10-1 |
| SHA-1 | 2D62EDFBEC4EB339D95BFBB99572C5A509EC2794 |
| SHA-256 | 59D538822F861B4F1D1BA7CFBEA01B8D6BC459F7D6C94D2DCA48366CA179F514 |
| Key |
Value |
| FileSize | 90828 |
| MD5 | C564909DA9002F674AB93640449E13D5 |
| PackageDescription | theorem prover from Microsoft Research - development files
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.
.
This package can be used to invoke Z3 via its C++ API. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-dev |
| PackageSection | libdevel |
| PackageVersion | 4.8.10-1 |
| SHA-1 | 5993F03382AB66C836AFC0AD2865076EF1E4CE00 |
| SHA-256 | 7EBA382D68519974FE2762EA8AB0310224544BF27ED0080178D0480E9576E1F5 |
| Key |
Value |
| FileName | https://ftp.lysator.liu.se/pub/OpenBSD/6.9/packages//amd64//py3-z3-solver-4.8.10.0p0.tgz |
| MD5 | 3A5D8DAC2BEFFE33F03ED061A4B1A280 |
| SHA-1 | 5F2F95D68D7B496434DA4A1688D8D98D05DD26CD |
| SHA-256 | 0ED9B7A3E0F64CAB7FFA9D7906D82BEE5389368BDF687E0BA5E0152CB837D94D |
| SSDEEP | 393216:CVOSFfiH202bW4X8qoPtknK1E7ZjkZZ8MB9GH0H8e28zxqp0WUkCJE6kbN4iJFua:qpe202y4sZ1ysGI40k8zxqp0Fkr6kCRa |
| TLSH | T17647338C8BD0E85F5491C8DDBC5D5AD4728B0C018C4E3DC67E7D0932B2D6A87CDAA76A |
| Key |
Value |
| FileSize | 90840 |
| MD5 | 250F8E7E3F0638105B38B6D8F55C9FCC |
| PackageDescription | theorem prover from Microsoft Research - development files
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.
.
This package can be used to invoke Z3 via its C++ API. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-dev |
| PackageSection | libdevel |
| PackageVersion | 4.8.10-1 |
| SHA-1 | 640457148A48977062976828DC28BC7BCD446241 |
| SHA-256 | EF14F5B9D1FF95B903645F828FDA93D06EE57D174B1FFE2AD1D26478B9127EE4 |
| Key |
Value |
| FileSize | 90828 |
| MD5 | 52C3F84E75A3680348A6CDCDCC813E87 |
| PackageDescription | theorem prover from Microsoft Research - development files
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.
.
This package can be used to invoke Z3 via its C++ API. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-dev |
| PackageSection | libdevel |
| PackageVersion | 4.8.10-1 |
| SHA-1 | 78009BBD614B1D7CA7E71421EDF758DF411B2339 |
| SHA-256 | C24464399F49BAF418DFCDF1AB536E3489A27ADC6D47BCC41D05F59CC66BE7BD |
| Key |
Value |
| MD5 | 3E5B26DCFF188DA26E86E32C76D21AB0 |
| PackageArch | armv7hl |
| PackageDescription | Header files for build applications that use z3. |
| PackageMaintainer | Fedora Project |
| PackageName | z3-devel |
| PackageRelease | 2.fc34 |
| PackageVersion | 4.8.10 |
| SHA-1 | 96319209B46B733F7FB0AF5FAEE256B3F82B3D73 |
| SHA-256 | 31B64455781E3C7889439CAA6FAC0C078D65F0B4393735D97577DFC835DD74D8 |
| Key |
Value |
| FileSize | 90828 |
| MD5 | C52106D9EBB514A32A158697201A0CC2 |
| PackageDescription | theorem prover from Microsoft Research - development files
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.
.
This package can be used to invoke Z3 via its C++ API. |
| PackageMaintainer | LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org> |
| PackageName | libz3-dev |
| PackageSection | libdevel |
| PackageVersion | 4.8.10-1 |
| SHA-1 | 9B4F880DF7BF218B2861535DF2EEDF0721ABE282 |
| SHA-256 | CB651C0C2CB6C231F926857AE8674334FFC3B5C7A821CB955557967AFF405EEA |
| Key |
Value |
| FileSize | 70132 |
| MD5 | 5688D027DDB99C4E6B2498A979FD62FC |
| PackageDescription | theorem prover from Microsoft Research - development files
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.
.
This package can be used to invoke Z3 via its C++ API. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libz3-dev |
| PackageSection | libdevel |
| PackageVersion | 4.8.10-1ubuntu1 |
| SHA-1 | A04A92D1719ADAEAA50CF8AD1FA3CD555089E003 |
| SHA-256 | 6DFC1B48BE4B4A2A469D6C07BFEFC65246B5342F1A00E603EE439627F1855F1C |