Parents (Total: 43)
The searched file hash is included in 43 parent files which include package known and seen by metalookup. A sample is included below:
Key |
Value |
FileSize | 502056 |
MD5 | 1BF9B9FB74F1BF9FF219145168D12BBC |
PackageDescription | SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | libcryptominisat5-5.11 |
PackageSection | libs |
PackageVersion | 5.11.4+dfsg1-2+b1 |
SHA-1 | 02823D514D4B0BFCF7D8A1683BC73AFB839A2B5E |
SHA-256 | 0B42CD0874346F85A537C676A30517324D4911A7CA408E2CE503299305FD56BD |
Key |
Value |
FileSize | 502540 |
MD5 | 02F0ADE2CA812471AA82569C28305E3A |
PackageDescription | SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | libcryptominisat5-5.11 |
PackageSection | libs |
PackageVersion | 5.11.2+dfsg1-1+b1 |
SHA-1 | 097F8DD87A5442FC35CF0127D83A024056E631CE |
SHA-256 | 58CCFFAAE73CDD5DE57F014710E7A5F14D1A4525FF446627F91655F6C5F56DCC |
Key |
Value |
FileSize | 528708 |
MD5 | 22AB31FB6D049596A4A5698595C228B9 |
PackageDescription | SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | libcryptominisat5-5.11 |
PackageSection | libs |
PackageVersion | 5.11.2+dfsg1-1+b1 |
SHA-1 | 0DDD0117A07CBC119FE3AF8D4E3EA91BF50CABCE |
SHA-256 | AD61A4406D52382489D8A31E307A060DFEDDFB32AA6B21575110ED2F71EEE5C0 |
Key |
Value |
FileSize | 381344 |
MD5 | 58A2A1E487C2B5D4E058C3F6C4C0DAE5 |
PackageDescription | SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | libcryptominisat5-5.8 |
PackageSection | libs |
PackageVersion | 5.8.0+dfsg1-1+b3 |
SHA-1 | 1CE94F121110DF9512F0C1A91716E1D70486E62D |
SHA-256 | CEFFC9222A62A5715454138398D7000ABD66B2CD16CE2F3CDF939D0AEFE2F32F |
Key |
Value |
FileSize | 392784 |
MD5 | D58D4A7960E0DAFA7A1F2D90D8FCE3C7 |
PackageDescription | SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | libcryptominisat5-5.8 |
PackageSection | libs |
PackageVersion | 5.8.0+dfsg1-1+b1 |
SHA-1 | 249C704EE6A4816C8B73100C225E452932F380B4 |
SHA-256 | 4BB0970AB85D324EBE2701A910A2BA71680604D27E3090E343DA634215463523 |
Key |
Value |
FileSize | 415988 |
MD5 | EC5440AB4B24C1B1F7B48BB051CB89F2 |
PackageDescription | SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | libcryptominisat5-5.8 |
PackageSection | libs |
PackageVersion | 5.8.0+dfsg1-1+b2 |
SHA-1 | 2C2F877026C10AF634D1130DABE21C170CF80F91 |
SHA-256 | 7660BF33C6E1AB2AA9305DB277530CBEB834C97C1C547DF97BC09BAA0C7E92B8 |
Key |
Value |
FileSize | 443804 |
MD5 | AE32C26ADE540099F6236B268DEEE103 |
PackageDescription | SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | libcryptominisat5-5.11 |
PackageSection | libs |
PackageVersion | 5.11.2+dfsg1-1+b1 |
SHA-1 | 313B406B3996B927086746E58E08AFFB03E82ED7 |
SHA-256 | 4ECB5163535F54089C5B4232F0B77B251D4C027CFB4AB85DC4ACA8445FCCA226 |
Key |
Value |
FileSize | 451460 |
MD5 | F451DECF97932C9903363EA2E61DCAAE |
PackageDescription | SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | libcryptominisat5-5.11 |
PackageSection | libs |
PackageVersion | 5.11.2+dfsg1-1+b1 |
SHA-1 | 3A97D99D6F60FDDB7FD4AF7F226C348D9A675640 |
SHA-256 | D80AE4E6B1E6A457506BC25F91CCB7F7651FE744FFD92F92121B18D9B97D4BFE |
Key |
Value |
FileSize | 367340 |
MD5 | 95F1C7F86500FA2EAD7784AEAFCD4EB5 |
PackageDescription | SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | libcryptominisat5-5.7 |
PackageSection | libs |
PackageVersion | 5.7.1+dfsg1-1+b1 |
SHA-1 | 46FC6DE9959D2BB55A747F1152782258BF1D50FA |
SHA-256 | 8E341896D894E7ED9143C6B4187C89B445F2E6CBFA08F8A7D4ACF74B24F0D0A3 |
Key |
Value |
FileSize | 528160 |
MD5 | F7235EDEDC40F89640C361DAC80338A4 |
PackageDescription | SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | libcryptominisat5-5.11 |
PackageSection | libs |
PackageVersion | 5.11.4+dfsg1-2+b1 |
SHA-1 | 4878C757EE549B3C4DE4C06C48F094A5B6358C3A |
SHA-256 | 7FD84537D2328A95F129A5D7C59CA8FFB232C83D9A8F674C79704687F48E6A84 |