| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5_simple.1.gz |
| FileSize | 627 |
| MD5 | EA2D823E2D19F982C75346C60E724FA3 |
| SHA-1 | 8C806330BA0E2631E4B6F605C288ABFB31731612 |
| SHA-256 | 1B6449412CCF4E6A77AAD426EF58A0A833BC729EF0B656611023BED27E43B0A9 |
| SSDEEP | 12:XcmQE7cLPb8LAeVcQjqK29sMxnUz9G5AYllh9udbcz2psa6ogIM3pyd9:XUz4LdVpZ2vnZAYficz2pGOf |
| TLSH | T1EEF068067E85E3514B012B64843C55DD86F45F3319F94128276093AE7F2DAE7F6448E8 |
| 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 |