| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5.1.gz |
| FileSize | 952 |
| MD5 | ECE54B6E3F35AE9A47E95D96C6BDE8B7 |
| SHA-1 | EE22E6A69CC004F631A2FB9872D156E631D5596C |
| SHA-256 | 7B6F6B59B61ADE30199C3E3BEA90FCAA82FF12973DC6E75543D1C98BADD7F324 |
| SSDEEP | 24:XbDkiU3mf0D4/NaLzwi7F+h63jqmozaeTRz5pfn5IdP0:XHk3Y6sE9lmhaI3P5f |
| TLSH | T1AE11C89C4B18DE81938167362A0B543BA7CFC3BF38B18A43E242B245D0914CBC8D9D09 |
| 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 | 81148 |
| MD5 | 779F38EC69D0378E98FAD81DFEF7A81A |
| PackageDescription | SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | 7964A5040E8D4C7985A82C85195CD91F7F4498C9 |
| SHA-256 | 94F9241D071704CE865A46E1E2230DEC703F58A913A1023A1534C473FE46720C |
| Key | Value |
|---|---|
| FileSize | 69168 |
| MD5 | 60D76947E3536C869E154FD7EA4296FD |
| PackageDescription | SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | 470EB4DE65812BE5CFA13E56A16CDB2D22E278B0 |
| SHA-256 | 69076169A5F1D3F39225E0E7789A1C74E308EF32751692910B69A89308718D14 |
| Key | Value |
|---|---|
| FileSize | 70744 |
| MD5 | 1F62679A6494E749935501D72181631B |
| PackageDescription | SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | A8B4EAB3E66174E6C2B80ADF463B44CD84C2D9C5 |
| SHA-256 | 26E922EEAA7BCFE2CB87B78DA8F5910906E6AA052CC700490BB06C77E813857D |
| Key | Value |
|---|---|
| FileSize | 67432 |
| MD5 | CEF451C75A27C67157BD85B14364FDE4 |
| PackageDescription | SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | A180EC62EF5E028222EB877D4C4EEDF581C4523C |
| SHA-256 | 7954B3A1B99C5F061C9278667285853775D38FF4FCF16011C06BA1DF805246D3 |
| Key | Value |
|---|---|
| FileSize | 77044 |
| MD5 | 8C8416F991445F3624D57CB3AC613A83 |
| PackageDescription | SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.11.2+dfsg1-1+b1 |
| SHA-1 | C9C6D7D4897CFAFF17296BDB22636D3709E7B89E |
| SHA-256 | 6CDFDF188C0224ED80BC8EA3E1437FF5001B48D092EA2A5EBCF5D6F0E7B38AC5 |