| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5_simple.1.gz |
| FileSize | 631 |
| MD5 | 46D5B678FF61CEB6E0B4B8837E928C73 |
| SHA-1 | E46715026B1826CC72D5AAD5122B1430AA1EA75C |
| SHA-256 | DE91263B9E9A10A98A1DB708350F24B20A95A30641E2E2A6C28F0735AF65B98A |
| SSDEEP | 12:XcmQxoD/DUpLFUJkLViVg3qw0k70XLmt33gOgozvCi+tNMXGYmGy/JyVGlV8:XoewUW3qmYXgzqlHM2YmGogGl6 |
| TLSH | T1CDF062710D009A248A9E339E96814AEB48BE24DE3D1F9C06A340C83B0D890AB8C3489B |
| 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 | 95560 |
| MD5 | 63272CF5989B2B90EC09EB846CF61E02 |
| 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.8.0+dfsg1-1+b2 |
| SHA-1 | CF15CA81B44C40DB34F771C6B723E928ED0B97FC |
| SHA-256 | 543C1A23EB18C4FAF7A6147B4D091637DD8A421380A9B9C6A9E1735F3C9C6162 |
| Key | Value |
|---|---|
| FileSize | 83596 |
| MD5 | 2B28BEEDEF4751E8E79C70D8B88F44A7 |
| 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.8.0+dfsg1-1+b2 |
| SHA-1 | DA591158C3C86543989F38B2CD3FE4AC860E66D6 |
| SHA-256 | F4032C0BBCCF22EC00634EB002C6B2CA4779877519262294974020DEB76F3E5F |
| Key | Value |
|---|---|
| FileSize | 92420 |
| MD5 | 3E8FD2F5412F41CB80BC0B399F7ACF49 |
| 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.8.0+dfsg1-1+b2 |
| SHA-1 | 25F443AA0D6DDA3E6CD90AC9FD63E97B31F55408 |
| SHA-256 | 5CDBFAD30F7536828B303062EAE606BC32C979430C434947A3E8CD28D9E15D77 |
| Key | Value |
|---|---|
| FileSize | 86896 |
| MD5 | 5326F3B0754C669C963919B770E4C731 |
| 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.8.0+dfsg1-1+b2 |
| SHA-1 | 0D05BF9AE969166B11FC96A8B486ABF099CD9341 |
| SHA-256 | 45CB8401C3DD1890678DD71C52EAD811B33EA6BE923539E31E1457F2564CACBA |
| Key | Value |
|---|---|
| FileSize | 82196 |
| MD5 | 5B449017B118F171853B92DA1B062284 |
| 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.8.0+dfsg1-1+b2 |
| SHA-1 | 6B7A060E7512D9CC4777F362627263B57448EE5F |
| SHA-256 | D646ED0A6900A36813FA71107DD0C8D17CD7635C191317192D90F22B00BFCA1F |