| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5.1.gz |
| FileSize | 6057 |
| MD5 | E551BB977EF1018E29CC5924C236826E |
| SHA-1 | 57EB1C8F0E602EA2B5E5A468E4F1B7483CC9090F |
| SHA-256 | 3B85BF2D6B49D550693FABED2A1E3C6612030807A26295B080DC2395B45A7488 |
| SSDEEP | 96:Tj3kzRxMZsFZUo1qWUj/M3p3G1ccgYK8qaY2J3IlQogyYZWUcaNk1PScEA3h4vNK:X3YieUo1qcp3G1cD0talgyYZWUcai1PP |
| TLSH | T179C19FD5127186E6BC681010D59A19EC85068F1A9711F773C6F2708EC286A7E73E83EF |
| 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 | 87120 |
| MD5 | 126435C6204CB3D716615DE575832BBF |
| 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.7.1+dfsg1-1+b1 |
| SHA-1 | 29BF39E854BCEAD3624A5C3CD7B68606EADD7993 |
| SHA-256 | C1917A70FE8729FA445B6364172900B9D5590998FEDF2E65C4B6539C78BF26A2 |
| Key | Value |
|---|---|
| FileSize | 86036 |
| MD5 | ADE7056984D5D6303BF72557FF4ACCD3 |
| 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.7.1+dfsg1-1+b1 |
| SHA-1 | 2BB1B6A79CAC5F8CE35C93E37DE5598E415075CE |
| SHA-256 | 5121139F44014A9A4D3E1F947DD1ED455433DE39F947CB0B65FC308D4DD79A1E |
| Key | Value |
|---|---|
| FileSize | 93936 |
| MD5 | 1F4C0E500572659DF1C54A462BBE409E |
| 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.7.1+dfsg1-1+b1 |
| SHA-1 | 13113B7DBC8F006AB8B8E9294527F4C721912E18 |
| SHA-256 | 9D90580091283B7CC76BD40EBAB70C214F1355D44D1C8E14FE1752B8FD9DC2A9 |
| Key | Value |
|---|---|
| FileSize | 84068 |
| MD5 | E602DCF9A854BA3575F5B65E9CFA6C18 |
| 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.7.1+dfsg1-1+b1 |
| SHA-1 | 248440E3836D546551C8B6BD36EE8A56AEC60382 |
| SHA-256 | 85911ABE9FEC6966D3AAEBAF50418B7F270028E05F5DCF724F9DF7D890D19E41 |
| Key | Value |
|---|---|
| FileSize | 98808 |
| MD5 | D7F0A02D1A75C76D21EEE1C6D281296E |
| 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.7.1+dfsg1-1+b1 |
| SHA-1 | C95C06273317C834B248E874CD94AE45AC89FCA7 |
| SHA-256 | 9BE0441CA5D93DA9690FA044FDB1988FDD6B0C07FBF3FBC482B57AA1802415CC |