| Key | Value |
|---|---|
| FileName | ./usr/include/cryptominisat5/dimacsparser.h |
| FileSize | 18688 |
| MD5 | 2C2D0F16D4A45470826BFC996B187350 |
| SHA-1 | 2F493725565322F65B28E5965541E89BE269D611 |
| SHA-256 | 8A8B1364B5C4604C54DAEED0A0F795B8E393334E2485B4A38B5BE71120F97738 |
| SSDEEP | 384:I6EHbCfqiYi0UtXzOsghGp33wHLkdEz1cRfNTKNtWP:nEHbCfqiYi0UtXJQihEBcRfNTKNIP |
| TLSH | T1BB8274595CE33C3A4293E03A9F8DA087BB10941357A8CD55FCADA309BF8E42846F7765 |
| hashlookup:parent-total | 5 |
| hashlookup:trust | 75 |
The searched file hash is included in 5 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 15784 |
| MD5 | 927406FD45C4505613746E1C08D40307 |
| PackageDescription | development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | libcryptominisat5-dev |
| PackageSection | libdevel |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | 8062C1E5845BA49B5D25544D07A6F0FAD376DCCB |
| SHA-256 | 67EFBFAC4B5C34719790AD0AED92F34B7DE5F0D067C83659E81F162A0E93C493 |
| Key | Value |
|---|---|
| FileSize | 15788 |
| MD5 | C7D657735A7B813CE45D4AF30B51AC0F |
| PackageDescription | development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | libcryptominisat5-dev |
| PackageSection | libdevel |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | C8EF6FA5711CB410B75501F6E573E129BC677BA0 |
| SHA-256 | 42823BED089D3D3FF4C31A05BCBFF708056AD453C52D1D67D51B2C7E5F14B87B |
| Key | Value |
|---|---|
| FileSize | 15804 |
| MD5 | D6015026ADEEB0DC24FB95DD2C8EC38A |
| PackageDescription | development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | libcryptominisat5-dev |
| PackageSection | libdevel |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | C815A7E4622C7AA938586116BC65BB0AAD742806 |
| SHA-256 | 5EC94390F5B0C162B2AED2F77D8E117E9117D5E306EA2B59FBE1460B781DDEC3 |
| Key | Value |
|---|---|
| FileSize | 15776 |
| MD5 | 06FA092AC379CD4DBB2458183A8B7046 |
| PackageDescription | development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | libcryptominisat5-dev |
| PackageSection | libdevel |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | B694722A85515DED46E20FC2452C45F100346543 |
| SHA-256 | A785CD17B7A9CB765944627567574CADF027069D167E2CCBC1016F03D1C3CA4F |
| Key | Value |
|---|---|
| FileSize | 15772 |
| MD5 | 07D945772D43EE8E8C161607236057B9 |
| PackageDescription | development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | libcryptominisat5-dev |
| PackageSection | libdevel |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | 86EFA1DEAA4EBBD8C274C02E675AAC461BB8B11E |
| SHA-256 | 94DAD3825B6859415A795968BB17F2CF77D31B6E105098A3C78F7DDA854B64AE |